GADTsの検索結果1 - 1 件 / 1件

• あとで読む

  Compiling higher order functions with GADTs

  • 3 users
  • injuly.in
  • テクノロジー
  • 2024/05/09

  Implementing first class functions in a bytecode interpreter is trivial. But how do compilers that generate machine code (or lower to C, or SSA) implement higher order functions? Back in 2021, I found an answer when contributing closures to the Pallene compiler. Today I was researching something loosely related, and found yet another neat trick called defunctionalization in this paper. Defunctiona

  • Haskell