How close can pure FP get to 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, outperforming an equivalent Rust package that crates.io says has been downloaded over a billion times. ...

How close can pure FP get to C?

この記事のキーワード

同じキーワードの記事

Contributing to Vite+ Inside Stories | ドクセル

Introducing tsrs: a Port of TypeScript to Rust

Why TypeScript 7.0 Was Rewritten in Go (and what it means for your dev stack) | spf13

ブラック・オクトーバー - Wikipedia

EMACS turns 50

いいから休め - Black October が終わる今、セキュリティエンジニアがやるべきこと

C++やRustよりも高速に動作しメモリ使用量も少ないプログラミング言語「Goose」

Bluetoothの電波はどこまで届くのか？巨大なアンテナで12km先から信号を受信する実験に成功

AIはハッキングのあり方を根本から変えつつあり、銀行や電力網がインターネットから切り離される日も近い？ - YAMDAS現更新履歴

About the compromised eMudhra intermediate CAs - Apple Support

prpr: Rust 向けのシンプルで高速な Parser generator

eMudhraの中間CAの秘密鍵が公開された証明書から復元可能と判明、pip・uvなどの開発ツールに修正版 | gihyo.jp

Several Linux Kernel Vulnerabilities Accidentally Posted To Public Kernel Mailing List - Phoronix

アウトサイダーとしての葛藤はいかにして『Stranger Than Heaven』の物語を紡ぎ出したのか――ディレクターと主演俳優が語る「個人のドラマ」

Stranger Than Heaven Xbox Presents Showcase Images

Security Disclosure: Wednesday October 21st | Railway Blog

Rust Style Guide

Today's PHP Security Release, and How We're Strengthening PHP Security

Stranger Than Heaven Extended Video Preview

緊急：相次ぐAIによる「自動化攻撃」に経営者はどのような対応をすればいいのか｜Yusuke Kawabata（SaaS運営）