Based on our record, Racket Lang seems to be a lot more popular than MLton. While we know about 95 links to Racket Lang, we've tracked only 5 mentions of MLton. We are tracking product recommendations and mentions on various public social media platforms and blogs. They can help you identify which product is more popular and what people think of it.
Racket! https://racket-lang.org/ “Whenever an engineer changes one of these programs, we run all the programs through our custom model checker (written in Racket + Rosette)”. - Source: Hacker News / 6 months ago
Friedman's books are all great. All of them. But they don't work for everybody. If you can be relaxed and think of the interaction as play, they're very good. If you're feeling more of a "serious business" mindset, it can be hard to get in the groove of his style. There are a lot of jokes about food and encouragement to take breaks. If you can get into the learning as play mindset, I'd strongly encourage taking... - Source: Hacker News / 7 months ago
- pipe operator It compiles to either erlang or JavaScript, so I was able to jump right into building something fun with a new language. >I previously gave Clojure a try, that was a pretty good fit, but the JVM / ecosystem put me off. I felt similarly w/ leiningen (too much boilerplate) but was lisp-curious still so gave racket (https://racket-lang.org/) a try and appreciated the batteries included philosophy of... - Source: Hacker News / 8 months ago
Biased recommendation: Try racket https://racket-lang.org/ It's not pure functional, but the preferred style is to use mostly functional constructs. (But you can cheat when it get's too difficult or you need some extra speed.) (And you can download packages like Qi that enable a new language inside Racket that has more support for functional style.) (Most Schemes have a similar mostly-functional style, so you can... - Source: Hacker News / 9 months ago
Racket—the Language-Oriented Programming Language—version 8.12 is now available from https://racket-lang.org See https://racket.discourse.group/t/racket-v8-12-is-now-available/2709 for the release announcement and highlights. Thank you to the many people who contributed to this release! Feedback Welcome. - Source: Hacker News / about 1 year ago
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 2 years 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 3 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 3 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 3 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 3 years ago
Clojure - Clojure is a dynamic, general-purpose programming language, combining the approachability and interactive development of a scripting language with an efficient and robust infrastructure for multithreaded programming.
Poly/ML - The Poly/ML implementation of Standard ML – full multiprocessor support in the thread library and garbage collector, interactive debugger, fast compiler.
Guile - Guile is the GNU Ubiquitous Intelligent Language for Extensions, the official extension language for the GNU operating system.
OCaml - (* Binary tree with leaves carrying an integer.
Rust - A safe, concurrent, practical language
Java - A concurrent, class-based, object-oriented, language specifically designed to have as few implementation dependencies as possible