/prog/ - >not using ATS

Name: Anonymous 2014-10-21 23:14

read ur sicp nigger
https://en.wikipedia.org/wiki/ATS_%28programming_language%29
http://www.ats-lang.org/

Name: Anonymous 2014-10-22 0:37

Please watch your language and arrows while perusing this website.

Thank you.

Name: Anonymous 2014-10-22 7:04

I always knew the typesystem fag was a /g/ro.

Name: Anonymous 2014-10-22 14:52

http://a.pomf.se/cxftpj.webm

Name: Anonymous 2014-10-22 18:40

>>3
Nah, is his just sarcastic.
ATS sucks anyway.

Name: Anonymous 2014-10-22 21:51

>>5
I doubt you're qualified to say that.

Name: Anonymous 2014-10-23 0:49

>>6
I doubt you are qualified to even reply to me.

Name: Anonymous 2014-10-23 2:06

>>4
forbidden

Name: Anonymous 2014-10-24 17:11

Thanks Anon, but I'm in the process of learning it. It's a big language without a wealth of information about it. But yeah, optional dependent and linear typing bundled together with pointer arithmetic look promising. Although the whole language has a sense of half-baked mish-mash about it.

Name: Anonymous 2014-10-25 10:43

I'm going to write a ray tracer in ATS and post the source here.

Name: Anonymous 2014-10-25 15:48

Name's Ray. Ray Tracer.

Name: Anonymous 2014-10-26 17:51

OK I've got a working ray tracer in C. Now to learn ATS and rewrite the ray tracer in it.

Name: Anonymous 2014-10-27 10:31

ATS. The language which is so much of a PITA to write that you have to prototype in C for it.

Name: Anonymous 2014-10-31 18:04

>>13
But it's really awesome. Programming with proofs, for one, makes Typed Racket's "occurrence typing" child's play.

Name: Anonymous 2014-11-02 1:38

child's play with my anus

Name: Anonymous 2014-11-03 11:20

They even verified the factorial statically, nyaa!

http://ats-lang.sourceforge.net/DOCUMENT/INT2PROGINATS/HTML/x3119.html

>not using ATS

1 Name: Anonymous 2014-10-21 23:14

2 Name: Anonymous 2014-10-22 0:37

3 Name: Anonymous 2014-10-22 7:04

4 Name: Anonymous 2014-10-22 14:52

5 Name: Anonymous 2014-10-22 18:40

6 Name: Anonymous 2014-10-22 21:51

7 Name: Anonymous 2014-10-23 0:49

8 Name: Anonymous 2014-10-23 2:06

9 Name: Anonymous 2014-10-24 17:11

10 Name: Anonymous 2014-10-25 10:43

11 Name: Anonymous 2014-10-25 15:48

12 Name: Anonymous 2014-10-26 17:51

13 Name: Anonymous 2014-10-27 10:31

14 Name: Anonymous 2014-10-31 18:04

15 Name: Anonymous 2014-11-02 1:38

16 Name: Anonymous 2014-11-03 11:20