Nagoya
愛知県名古屋市熱田区六番町
Registration is closed
The ATS language is a programming language that has both dependent types and linear types, and can deliver better safety over software. First paper about the ATS language was published in 2004, but the ATS community is small today.
Then at this event, we read "Introduction to Programming in ATS" that is official manual on ATS community. We do reading aloud the book in Japanese. If you have some questions, please share your opinion at any timing to understand the ATS language deeply.
At the first meeting, let's install ATS compiler on your laptop computer, and write simple ATS code. After that, Kiwamu Okabe (as a organizer of the meeting) reads aloud chapter "Preface" and "Basic Functional Programming" of the manual.
After the meeting, please join drink party if you like!
http://fpiot.metasepi.org/ The Internet of Things (or IoT for short) refers to uniquely identifiable objects and their virtual representations in an Internet-like structure. Imagine IoT devices ar...
Join community
