~/lightning

MicroHaskell (Lightning Talk)

Lightningat HIW 2023 · on Monday, 2023-09-04
slides:none on file

A tiny Haskell implementation boots itself: runtime in C and a combinator-based compiler in Haskell recompile twice in under 30 seconds, producing identical outputs. The combinator file is 136 KB (about 20 KB compressed). Reduction throughput hits roughly 400–450 million reductions/sec (~10 machine instructions per reduction), allocation peaks ~1.6 GB with one in four reductions allocating a two-pointer cell. A combined runtime+code binary is ~200 KB and packs to 45k with UPX. Type classes and deriving remain unimplemented.

AI-written summary · about

~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.