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
Linear-time parser combinators
My birthday just passed, and to relax I wrote a parser combinator library. Over the last few years, I have worked quite a bit with Ningning Xie and Jeremy Yallop on parser combinators, which has led to a family of parser combinators which have optimal linear-time performance in theory, and which are many times faster than lex+yacc in practice. But these use advanced multistage programming techniqu
Millet
Jul 2, 2022 Millet, a language server for Standard ML (SML), is now available. Check it out on: GitHub VS Code marketplace Open VSX In this post, I will: Introduce some of the main features of the project. Note some caveats and potential areas of improvement. Talk a bit about its development. Close with some thanks. Features: an overview Basic The extension provides syntax highlighting, as well as
LunarMLの進捗2021 | 雑記帳
この記事は ML (Meta Languages) Advent Calendar 2021 の8日目の記事です。 数年前からLunarMLというStandard MLコンパイラーを作っています。この記事では、LunarMLの今年の進捗を報告します。 https://github.com/minoki/LunarML LunarMLの進捗状況は、ちょくちょくこのブログでも報告してきました： 自作SML処理系進捗：Hello world（4月18日）自作SML処理系進捗：Hello Lua!（5月13日）LunarML進捗：signatureの実装に向けて（6月12日）LunarMLの進捗と妄想（9月13日）LunarML進捗：functorの実装（10月30日） 今年の進捗まとめ まず、去年の段階では「1+2がコンパイルできるようになった」と言って記事にしていたという状態でした。print
PLDI 2021: The History of Standard ML
The History of Standard ML John Reppy, David MacQueen, Robert Harper Appearing at HOPL IV: History of Programming Languages
Applicative parsing | Notes on Computing
Parser combinators are sets of functions for building parsers in a composable fashion. Haskell’s Parsec library and OCaml’s Angstrom are two examples. Both of these libraries expose monadic interfaces for describing context-sensitive grammars. This post looks at implementing a more restricted parsing library, structured around applicative functors rather than monads. What could justify giving up o
Standard ML in 2020 | notes.eatonphil.com
Incredibly, Standard ML implementations are still actively developed. MLton, Poly/ML, MLKit, SML# and SML/NJ are the most prominent. Discussion on the future direction of Standard ML remains healthy as well. And somehow OCaml's lesser known cousin still beats out OCaml for multicore threading support (in Poly/ML). While MLton hasn't merged with MultiMLton or RTMLton to support multicore, a new for
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Effective ML Through Merlin's Destruct Command
SOSML: The Online Interpreter for Standard ML
Encoding ML-style modules in Rust
Alice
MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types
Memories: Edinburgh ML to Standard ML
Designing an ML-family language on top of TypeScript: import and export syntax
Derw, a friendly ML-like language for the web, status: January 2022, part 2
GitHub - minoki/LunarML: The Standard ML compiler that produces Lua/JavaScript
GitHub - SomewhatML/sml-compiler: A compiler for Standard ML, somewhat
Exotic Programming Ideas: Part 1 (Module Systems)
Formulog: ML + Datalog + SMT | weaselhat
The History of Standard ML