Lil' Fun Langs

taolson25 minutes ago

Don't know if my language is considered Lil' enough for this, but it's a pure, lazy functional language based upon Miranda (progenitor language to Haskell) that compiles to x86-64 asm. ~6700 SLOC for the (self-hosted!) compiler, and ~3300 SLOC additional for the extensive library of functional data structures and functions.<a href="https://github.com/taolson/Admiran" rel="nofollow">https://github.com/taolson/Admiran</a>

dunham3 hours ago

My little language Newt is 7 kloc. Dunno if it's worth including, it's mostly an exercise to learn how these things work and is not as polished as I'd like.- Self-hosted- Compiles to javascript- Bidirectional typechecking with NbE (based on elaboration zoo)- Dependent type checking- type classes- ADTs with dependent pattern matching- TCO (trampoline for mutually tail recursive functions)- Erasure of compile-time only values (0, ω quantities, but not linear)- Web playground- LSP (added this month)- Syntax is similar to Agda / Idris / Haskell<a href="https://github.com/dunhamsteve/newt" rel="nofollow">https://github.com/dunhamsteve/newt</a>

taolson34 minutes ago
Either newt was already in the list, or it got added. We talked a bit about using our languages for AoC 2024 -- looks like you've been keeping busy working on it!

ecto1 hour ago

loon is a lisp! <a href="https://github.com/ecto/loon" rel="nofollow">https://github.com/ecto/loon</a><pre><code> [type Shape [Circle Float] [Rect Float Float]] [fn area [s] [match s [Circle r] => [* 3.14 r r] [Rect w h] => [* w h]]] [area [Circle 5.0]]</code></pre>

grimgrin1 hour ago
idk how I haven't crossed a lisp with square brackets but dang I am sorta stunned at how I've never even envisioned it? thanks

mlajtos4 hours ago

Fluent – 4K lines – including parser, interpreter, standard library, IDE, UI, docs, examples. Will grow though.<a href="https://github.com/mlajtos/fluent/blob/main/client.tsx" rel="nofollow">https://github.com/mlajtos/fluent/blob/main/client.tsx</a>

surprisetalk4 hours ago
I'll add it! Thanks.EDIT: Actually, it's not quite "ML-family" enough for this post. But it is a remarkably cool project! :)
- solomonb3 hours ago
 If you're accepting additions here is a fun one some friends and I did as experiment at the Topos Institute: <a href="https://github.com/ToposInstitute/polytt" rel="nofollow">https://github.com/ToposInstitute/polytt</a>And here is a set of single file lambda calculus implementations with a variety of extensions: <a href="https://github.com/solomon-b/lambda-calculus-hs" rel="nofollow">https://github.com/solomon-b/lambda-calculus-hs</a>`polytt` is kind of an ended experiment but that lambda calculus repo i plan to extend in the near future.

lachlan_gray2 hours ago

Another crazy one is SectorLISP, 223 lines of asm<a href="https://justine.lol/sectorlisp2/" rel="nofollow">https://justine.lol/sectorlisp2/</a>

nimbus-hn-test3 hours ago

The hardest part with small languages isn't the parser, it's the standard library and error messages. Getting a helpful IDE experience in that footprint is a significant engineering challenge.