[HN Gopher] Lil' Fun Langs
       ___________________________________________________________________
        
       Lil' Fun Langs
        
       Author : surprisetalk
       Score  : 78 points
       Date   : 2026-02-20 17:34 UTC (5 hours ago)
        
 (HTM) web link (taylor.town)
 (TXT) w3m dump (taylor.town)
        
       | mlajtos wrote:
       | Fluent - 4K lines - including parser, interpreter, standard
       | library, IDE, UI, docs, examples. Will grow though.
       | 
       | https://github.com/mlajtos/fluent/blob/main/client.tsx
        
         | surprisetalk wrote:
         | I'll add it! Thanks.
         | 
         | EDIT: Actually, it's not quite "ML-family" enough for this
         | post. But it is a remarkably cool project! :)
        
           | solomonb wrote:
           | If you're accepting additions here is a fun one some friends
           | and I did as experiment at the Topos Institute:
           | https://github.com/ToposInstitute/polytt
           | 
           | And here is a set of single file lambda calculus
           | implementations with a variety of extensions:
           | https://github.com/solomon-b/lambda-calculus-hs
           | 
           | `polytt` is kind of an ended experiment but that lambda
           | calculus repo i plan to extend in the near future.
        
       | nimbus-hn-test wrote:
       | 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.
        
       | dunham wrote:
       | 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, o quantities, but not
       | linear)
       | 
       | - Web playground
       | 
       | - LSP (added this month)
       | 
       | - Syntax is similar to Agda / Idris / Haskell
       | 
       | https://github.com/dunhamsteve/newt
        
         | taolson wrote:
         | 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!
        
       | lachlan_gray wrote:
       | Another crazy one is SectorLISP, 223 lines of asm
       | 
       | https://justine.lol/sectorlisp2/
        
       | ecto wrote:
       | loon is a lisp! https://github.com/ecto/loon
       | [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]]
        
         | grimgrin wrote:
         | 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
        
       ___________________________________________________________________
       (page generated 2026-02-20 23:00 UTC)