Artikkelen tar utgangspunkt i en DEFLATE-kompresjonsbiblioteket skrevet i Lean 4 som skal ha overgått en tilsvarende implementasjon, og spør hvor nær C funksjonelle språk kan komme.
Hvor nær C kan ren funksjonell programmering komme?
Artikkelen tar utgangspunkt i en DEFLATE-kompresjonsbiblioteket skrevet i Lean 4 som skal ha overgått en tilsvarende implementasjon, og spør hvor nær C funksjonelle språk kan komme.