MLton VS Chicken

Once I got the parser ready in OCaml, I thought I port it to Standard ML, since it belong to the same ML language family. I was also curious on how well mlton could optimise it. The language lacks custom let bindings, so I resorted to use Result.bind manually. This makes code much less readable and more verbose. The standard library also lacks result type, so I had to come up with my own simple implementation.... - Source: dev.to / about 1 year ago

If you’re fine with tracing GC (which depends on the situation, of course), Standard ML is a perfectly boring language (that IIUC predated and inspired Caml) and MLton[1] is a very nice optimizing compiler for it. The language is awkward at times (in particular, the separate sublanguage of modules can be downright unwieldy), and the library has some of the usual blind spots such as nonexistent Unicode support... - Source: Hacker News / almost 2 years ago

Unfortunately, I haven't found a ton of "easily-digestible" and, at the same time, comprehensive guides on compiling functional languages. Generally you'll find a mix of blog posts/class notes/papers covering a single step. Some resources I like: - Andrew Kennedy's 2007 paper Compiling with Continuations, Continued [1]. This one is the most clear IMO - Andrew Appel's Compiling with Continuations book... - Source: Hacker News / about 2 years ago

More broadly, they can be fast even without such extensions if they aggressively pursue optimization opportunities afforded by static typing, like MLton for example, but that also impacts compilation performance negatively. Source: over 2 years ago

According to the OP, it's from http://mlton.org/ (see https://coalton-lang.github.io/20211010-introducing-coalton/#acknowledgements ). - Source: Hacker News / over 2 years ago

Of course it does! What else would you call something like chicken scheme [https://call-cc.org/], ats [https://ats-lang.sourceforge.net/], or ghc [https://www.haskell.org/ghc/]? They are not "scripts", they are full-blown compilers that happen to use C as their compilation target, and then leverage C compilers to generate code for a variety of architecures. it's a very sensible way to do things. - Source: Hacker News / about 2 months ago

CHICKEN Scheme \ CHICKEN is a compiler for the Scheme programming language. It produces portable and efficient C and supports the R5RS and R7RS (work in progress) standards, and many extensions. It runs on Linux, OS X, Windows, many Unix flavours... Source: about 1 year ago

Website: http://call-cc.org Manual: http://wiki.call-cc.org/manual/index Wiki: http://wiki.call-cc.org/ Repository: https://code.call-cc.org/cgi-bin/gitweb.cgi?p=chicken-core.git;a=summary Standard Libraries: http://wiki.call-cc.org/man/5/Included%20modules Extension Repository: http://eggs.call-cc.org/5/. - Source: dev.to / over 1 year ago

If you’re fine with tracing GC (which depends on the situation, of course), Standard ML is a perfectly boring language (that IIUC predated and inspired Caml) and MLton[1] is a very nice optimizing compiler for it. The language is awkward at times (in particular, the separate sublanguage of modules can be downright unwieldy), and the library has some of the usual blind spots such as nonexistent Unicode support... - Source: Hacker News / almost 2 years ago

Enter matrico - a numerical Scheme module for, and fully written in, CHICKEN Scheme - which is an educational project on building a matrix-based numerical function library. - Source: dev.to / almost 2 years ago