はてなブックマーク - How close can pure FP get to C? https://b.hatena.ne.jp/entry/s/rtfeldman.com/fp-vs-c October 22, 2026 In Why Lean is Faster Than Rust, the author shares an impressive result: a DEFLATE compression library written in Lean 4, a functional programming language and proof assistant, out... k0yoshitsugu https://b.hatena.ne.jp/k0yoshitsugu/20261025#bookmark-4794847809547505442 2026-10-25T06:48:02Z nguyen-oi https://b.hatena.ne.jp/nguyen-oi/20261025#bookmark-4794847809547505442 純粋関数型言語のRocがC言語実装のlibdeflateに肉薄してるのロマンあって面白いな 2026-10-25T02:09:42Z balaem https://b.hatena.ne.jp/balaem/20261025#bookmark-4794847809547505442 2026-10-25T01:53:21Z xef https://b.hatena.ne.jp/xef/20261024#bookmark-4794847809547505442 2026-10-24T12:30:53Z performance tybalt https://b.hatena.ne.jp/tybalt/20261024#bookmark-4794847809547505442 2026-10-23T16:10:22Z Programming Language Lean