CakeML
About CakeML is a functional programming language and an ecosystem of proofs and tools built around the language. The ecosystem includes a proven-correct compiler that can bootstrap itself. The CakeML project consists of the following components, all of which are free software. Language definition. The CakeML language is based on a substantial subset of Standard ML. Its formal semantics is specifi
Manticore
The Manticore Project Manticore is a high-level parallel programming language aimed at general-purpose applications running on multi-core processors. Manticore supports parallelism at multiple levels: explicit concurrency and coarse-grain parallelism via CML-style constructs and fine-grain parallelism via various light-weight notations, such as parallel tuple expressions and NESL/Nepal-style paral
SML and OCaml: So, why was the OCaml faster?
(Notes: * I know that it’s possible to make SML/NJ produce a native binary, but I still haven’t taken the time to figure out how to do it. This time comes from adding a timing wrapper in the program itself and then importing it into the interactive environment. ** Alice ML has three JIT compiler settings; this was mode 1, which proved the fastest.) So SML/NJ is not far off OCaml; it’s clearly poss
Four MLs (and a Python)
I wrote a small command-line text processing program in four different ML-derived languages, to try to get a feel for how they compare in terms of syntax, library, and build-run cycles. ML is a family of functional programming languages that have grown up during the past 40 years and more, with strong static typing, type inference, and eager evaluation. I tried out Standard ML, OCaml, Yeti, and F#
Backpack: Retrofitting Haskell with Interfaces
2014 ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2014) Module systems like that of Haskell permit only a weak form of modularity in which module implementations directly depend on other implementations and must be processed in dependency order. Module systems like that of ML, on the other hand, permit a stronger form of modularity in which explicit interfaces express
Alice
Saarland University Informatics Programming Systems Home People Papers Manual Download Contributions Contact Wiki Bugs Alice 1.4 has been released! Overview Alice ML is a functional programming language based on Standard ML, extended with rich support for concurrent, distributed, and constraint programming. Alice ML extends Standard ML with several new features: Futures: laziness and light-weight
YETI programming language
YETI Releases ... and the slime became the worm and the worm the serpent, the serpent became the yeti of the mountain forests and the yeti became man. Yeti is ML style functional programming language, that runs on the JVM. message = "Hello world"; println message; Library documentation: std, io, json, xml Read the tutorial (also available as PDF) Language reference manual (PDF) Source is available
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Dependent ML - Wikipedia
GitHub - combinatorylogic/mbase: Metaprogramming framework for .net
Haskell Is Not Not ML - Microsoft Research