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 3:28

Ruby is dying.

Name: Anonymous 2018-07-11 4:47

>>2
That’s a shame. It’s a much better language than Python and JavaShit.

Name: Anonymous 2018-07-11 5:35

redpill me on dependent types

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).

Name: Anonymous 2018-07-11 20:42

>>5
Idris is better than Autistic Type System.

Name: Anonymous 2018-07-12 4:31

>>6
Its as fast as Haskell, while ATS has C++ speed.

Name: Anonymous 2018-07-12 6:38

>>7
do you know any good tutorials on ATS? I've never used it but I'm a lisper who'd like to learn something typefaggy, and the idea of a functional language with a native-performance sounds awesome.

Name: Anonymous 2018-07-12 11:38

>>8
In their website
http://www.ats-lang.org/Documents.html

Name: Anonymous 2018-07-12 11:40

They even have a subreddit
https://www.reddit.com/r/ATS/

Name: Anonymous 2018-07-12 11:47

>>7
Allows you to export to C and JS.
It is also based on CoC while ATS is based on god knows what.

Name: Anonymous 2018-07-12 11:48

ADS (Applied Dubs System)

Name: Anonymous 2018-07-12 12:14

>>11
Its was based on OCaml iirc,

Name: Anonymous 2018-07-12 13:29

>>13
OCaml is not a dependant type system, CoC is.

Name: Anonymous 2018-07-12 14:04

>>14
..and what Language that Coq is written in?

Name: Anonymous 2018-07-12 14:21

>>15
I never mentioned Coq.

Name: Anonymous 2018-07-12 14:40

>>16
I was asking >>14-kun, not you.

Name: Anonymous 2018-07-12 14:56

>>17
I'm >>14-kun

Name: Anonymous 2018-07-12 15:21

>>18
No! I am >>14-kun!

Name: >>14-kun 2018-07-12 17:03

Will the real >>14-kun please stand up?

Name: Anonymous 2018-07-13 2:55

>>20
*Holds spork* this is a union of spoon and fork

Name: Anonymous 2018-07-14 1:54

I didn't know about Idris.
It looks kino enough.

Name: Anonymous 2018-07-15 15:35

How long would it take to replace C with Idris in this case?
https://www.reddit.com/r/PokemonROMhacks/comments/8z20ma/psa_rom_hacking_is_about_to_get_a_lot_better/

Name: Anonymous 2018-07-16 10:03

>>23
Taking credit for other people's work takes the same amount of time in any language.

We have received a notice from the pret team that you are not involved in the project and are taking credit for their work, as such they have requested we remove your thread.
Newer Posts
Don't change these.
Name: Email:
Entire Thread Thread List
All trademarks and copyrights on this site are owned by their respective parties. All comments and posts are the responsibility of their own posters.
- Tinychan + 2ch Mode + RSS -