HackerTrans
TopNewTrendsCommentsPastAskShowJobs

syrak

no profile record

Submissions

Creusot 0.11.0: VerifyThis Winner

devlog.creusot.rs
1 points·by syrak·3 miesiące temu·0 comments

Creusot: Devlog

creusot-rs.github.io
2 points·by syrak·6 miesięcy temu·0 comments

comments

syrak
·6 lat temu·discuss
> 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.