Return Styles: Pseud0ch, Terminal, Valhalla, NES, Geocities, Blue Moon. Entire thread

Is Idris webscale™️ ready?

Name: Anonymous 2018-07-11 2:47

Can I use MongoDB with it and is there a Rails like framework for it?

Name: Anonymous 2018-07-11 8:19

>>1,4
You have to use ATS, a chinese autistic contraption with weird syntax to get maximum performance with dependent types and related functional shit. All other "dependent-type" languages are memes with barely 1/2 the speed(if you're lucky).

Newer Posts
Don't change these.
Name: Email:
Entire Thread Thread List