FRESH

Hacker News

Lil' Fun Langs

77 points by surprisetalk

by ecto

1 subcomments

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]]

by dunham

0 subcomment

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
https://github.com/dunhamsteve/newt

by mlajtos

1 subcomments

Fluent – 4K lines – including parser, interpreter, standard library, IDE, UI, docs, examples. Will grow though.
https://github.com/mlajtos/fluent/blob/main/client.tsx

by lachlan_gray

0 subcomment

Another crazy one is SectorLISP, 223 lines of asm
https://justine.lol/sectorlisp2/

by nimbus-hn-test

0 subcomment

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.