既存言語のミニ版ぽいものまとめた
東大のCPU実験の記事を読んでいたらお馴染みの MinCaml の他にもいくつか既存言語のミニ版があり、探してみました。 他にもおすすめのミニ言語あれば Twitter: @kaito_tateyama 宛、もしくは discussionにコメント で教えてください。 概要 一般の言語処理系を意識した言語のミニ版っぽいものを挙げます。大学の講義で使用された/教育目的/自作目的など色々です。 ML: MinCaml C: chibicc Ruby: minruby Swift: MinSwift Go: babygo Scala: pscala 追記: mal, quickjs 詳細 ML: MinCaml リポジトリ: esumii/min-caml 東大のCPU実験の記事でお馴染みのMinCaml。これをFPGAの上で動かしてレイトレーシングを行うらしい。 型周りも実装されている教育目的
Melange 4.0 is here | Sandtracks
Today, we're introducing Melange 4.0, the latest version of our backend for the OCaml compiler that emits JavaScript. Melange is now compatible with OCaml 5.2! In this release, Melange starts emitting more ES6 constructs, supports more JavaScript builtins, improves error handling, and makes using Dune virtual libraries fully supported. Read on for more details. Embracing OCaml 5.2 OCaml 5.2 was r
Getting OCaml Through the Eye of a Needle
I think OCaml is a great language. While it’s always too simplistic to put languages on a straight line, I feel it’s alright to say that it’s somewhere in between Java/C#/Go and Rust/Haskell for a couple of reasons: Immutability is the default, but you can use types that are mutable if you need/want to You can throw exceptions if you want, or play it “safe” with a Result type Concurrency can be ha
7 OCaml Gotchas
I've been writing OCaml for about 1 year (check my previous post 8 months of OCaml after 8 years of Haskell). I enjoy OCaml. But as any other programming language, OCaml has its quirks. That's fine, you can enjoy imperfect things too. But it could be useful to learn about potential surprising behaviours. In this blog post, I'm highlighting 7 OCaml gotchas. Some of them might be obvious to experien
Compiling higher order functions with GADTs
Implementing first class functions in a bytecode interpreter is trivial. But how do compilers that generate machine code (or lower to C, or SSA) implement higher order functions? Back in 2021, I found an answer when contributing closures to the Pallene compiler. Today I was researching something loosely related, and found yet another neat trick called defunctionalization in this paper. Defunctiona
GitHub - Dhghomon/rust-fsharp: Rust - F# - Rust reference
Its intent is to be an informal manual for users of Rust and F# to read through to learn about the other language. Here's why I'm putting it together: Rust is my first language, and recently I've begun delving into languages in the Rust periphery, one of which is F# (since the Rust compiler was originally written in OCaml and it incorporates a good deal of its syntax). Almost every F# manual is wr
Type Inference Was a Mistake
Type inference is bad. It makes code harder to read, and languages that use it too much are harder to write. It’s a false economy whereby you save unobservable milliseconds of typing today and make everything else worse. Type Inference Makes Code Less Readable If you have an IDE with a working LSP, you can hover over variables to see their types. In VSCode with rust-analyzer I can see the type ann
Eio 1.0 Release: Introducing a new Effects-Based I/O Library for OCaml
Eio 1.0 Release: Introducing a new Effects-Based I/O Library for OCamlby Isabella Leandersson, Thomas Leonard, and Anil Madhavapeddy on Mar 20th, 2024 The OCaml 5 update brought much-anticipated support for programming on multiple cores. It also introduced support for concurrency via effect handlers – one of the first mainstream languages to do so. This significant update has had profound performa
Learn Lambda Calculus in 10 minutes with OCaml
I'm going to teach you the basics of Lambda Calculus really quickly. Lambda Calculus is deep. But I'm covering only the fundamentals here. What is Lambda Calculus? Lambda Calculus (LC) is a model to describe computations. LC describes the syntax and semantics. Syntax A lambda expression (also known as lambda term) can be one of the following three things: Variable Application Abstraction Variable
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Dário
GitHub - rsbguerra/crust-ml: A compiler for a subset of the Rust language, the final project of the Programming Languages and Compilers course at the University of Beira Interior (UBI).
Melange 4.0 is here | Lobsters
Getting OCaml Through the Eye of a Needle | Lobsters
7 OCaml Gotchas | Lobsters
Compiling higher order functions with GADTs | Lobsters
Rust for Fsharpers and F# for Rustaceans | Lobsters
Type Inference Was a Mistake | Lobsters
Eio 1.0 Release: Introducing a new Effects-Based I/O Library for OCaml | Lobsters
抽象度の高い関数型言語プログラミングのスキルを身につけるための書籍が発売／「OCaml」を通じて関数型プログラミングを学べる『関数型言語で学ぶプログラミングの基本』【Book Watch/ニュース】
Learn Lambda Calculus in 10 minutes with OCaml | Lobsters