Static typing and proof on ATS language

Google Group
1

Thanks for writing this. It looks good.

A minor issue:

You use ‘on ATS’ in several places. I think it reads better
if you use ‘in ATS’ instead.

Cheers!On Friday, November 6, 2015 at 6:48:32 AM UTC-5, Kiwamu Okabe wrote:

Hi all,

I made a slide to explain statics and proofs on ATS language.

Static typing and proof in ATS language | PPT

Could you check the following figures? > Hongwei
I may miss-understand it.

Static typing and proof in ATS language | PPT

Static typing and proof in ATS language | PPT

Static typing and proof in ATS language | PPT

Thanks,

Kiwamu Okabe at METASEPI DESIGN

2

Hi Kiwamu,

I have a suggestion that you also make webpage-based slides.
Then you can present your code “lively”:

http://ats-lang.github.io/EXPERIMENT/patsopt-atscc2js-trial/index.html

This will allow people to easily try your code when reading your slides.
They will be much more impressed in this way because they are able to
experience first-handedly how program mistakes are caught as type-errors
by the typechecker of ATS.

Cheers!On Friday, November 6, 2015 at 6:48:32 AM UTC-5, Kiwamu Okabe wrote:

Hi all,

I made a slide to explain statics and proofs on ATS language.

Static typing and proof in ATS language | PPT

Could you check the following figures? > Hongwei
I may miss-understand it.

Static typing and proof in ATS language | PPT

Static typing and proof in ATS language | PPT

Static typing and proof in ATS language | PPT

Thanks,

Kiwamu Okabe at METASEPI DESIGN