HackerTrans
トップ新着トレンドコメント過去質問紹介求人

syrak

no profile record

投稿

Creusot 0.11.0: VerifyThis Winner

devlog.creusot.rs
1 ポイント·投稿者 syrak·3 か月前·0 コメント

Creusot: Devlog

creusot-rs.github.io
2 ポイント·投稿者 syrak·6 か月前·0 コメント

コメント

syrak
·6 年前·議論
> It's not clear to me that it has any use at all if you don't have higher-order functions.

The very origin of defunctionalization is to emulate higher-order functions in a language without them.

https://en.wikipedia.org/wiki/Defunctionalization

> defunctionalization refers to a compile-time transformation which eliminates higher-order functions, replacing them by a single first-order apply function.