this post was submitted on 21 Mar 2026
3 points (100.0% liked)

Elixir

769 readers
1 users here now

founded 3 years ago
MODERATORS
RobotDeathSquad@lemmy.world
Ategon@programming.dev
erlingur@programming.dev
3
Lazy BDDs with eager literal differences (elixir-lang.org)
submitted 6 months ago by nemeski@mander.xyz to c/elixir@programming.dev
1 comments fedilink hide all child comments
top 1 comments
sorted by: hot top controversial new old
[–] eta@feddit.org 1 points 6 months ago

It's a very interesting approach that they do the type system in such a mathematical way.