So AJHC is migrating to ATS

*** We are closing Ajhc project. ***

Metasepi Arafura iteration is closed. We decided to use ATS Programming Language for our next iteration.

http://ajhc.metasepi.org/

"Snatch-driven development" is a style to copy the design by C language to strong typed world, while dogfooding.

SNATCH DRIVEN DEVELOPMENT

it was rather hilarious when at ICFP one of these guys explained "snatch-driven development" to the audience :)

[–]tomejaguar 1 point 5 hours ago

Best moment of ICFP 2014.

Let's watch Snatch animation

Snatchimation.

Just so everyone knows: I'm still working on that ray tracer in ATS.

>>6
If it isn't proven correct, it shouldn't be run. God speed >>6-san.

hey >>7-jan show us what you look like-chan i bet you're a cartoon character-man

>>7
Thanks but ATS can't even link:

In function `_start':
(.text+0x20): undefined reference to `main'
/tmp/ccz5u0bo.o: In function `__dynload':
t_dats.c:(.text+0x6): undefined reference to `__dynloadflag'
t_dats.c:(.text+0x10): undefined reference to `__dynloadflag'
collect2: error: ld returned 1 exit status

ATS is so half-assed. It's like some midterm project by an undergrad, except it was made by a Chinese professor.

>>9
And these idiots are going to try writing an OS kernel in it ololol.

>>9
You come up with something better, geniusnobody

>>11
Like C? Lisp? Haskell? Or even Python web 4.0 technologies?

OK I've updated to version 0.1.5 (latest stable) and even manually updated the env variables. To no avail:

(.text+0x20): undefined reference to `main'
/tmp/cczx0Qpz.o: In function `__dynload':
t_dats.c:(.text+0x6): undefined reference to `__dynloadflag'
t_dats.c:(.text+0x10): undefined reference to `__dynloadflag'
collect2: error: ld returned 1 exit status

Wait, I managed to build something. Hooray, what a success. Now to learn the hordes of retarded syntax. t@ype?

Might be helpful to you, by the way:

https://gist.github.com/chrisdone/c23251e8b975dc805876

OK I'm sick of this shit. I just wanted to sort a fucking array, is that so hard? I even copied code from the official site:

http://ats-lang.sourceforge.net/DOCUMENT/INT2PROGINATS/CODE/CHAP_EFFECTFUL/insort.dats

Never mind that the staloads don't work because the folder structure has been changed since the tutorial was written. But when I try to compile their example code, I get my screen filled with shit like

ray_dats.c: In function ‘__patsfun_23’:
ray_dats.c:1869:22: error: ‘PMVtmpltcstmat’ undeclared (first use in this function)
ATSINSmove(tmpret83, PMVtmpltcstmat[0](compare_g0int_int<S2Eextkind(atstype_int)>)(arg0, arg1)) ;
^
/home/zrx/Packages/ATS2-Postiats-0.1.5/ccomp/runtime/pats_ccomp_instrset.h:260:37: note: in definition of macro ‘ATSINSmove’
#define ATSINSmove(tmp, val) (tmp = val)

WTF is this? I never called macro ‘ATSINSmove’! I don't even have a function called ‘__patsfun_23’! And I can't even find the first line in all that multi-screen-filling barf, so I've no idea what caused the problem. With error reporting like that, I say: fuck you Hongwei Xi, and take your half-assed undergrad project with you.

>>15
And when I said that ATS is shit someone hurried to doubt me.
heh

Never second guess me again.

dumb huskel nigger