Very curious to see OCaml added to that list. It’s incredibly simple runtime representation makes it an ideal target to accelerate other functional languages (it’s how Coqs native compute works)
Fascinating benchmark study on using lambda calculus HOAS in several languages.https://github.com/AndrasKovacs/normalization-bench …
-
-
- Još 2 druga odgovora
Novi razgovor -
-
-
Since Scala is here, it will be interesting to see Kotlin as well
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.