OCamlの検索結果1 - 2 件 / 2件

• あとで読む

  TypeScript 関数型スタイルでバックエンド開発のリアル

  • 246 users
  • speakerdeck.com/naoya
  • テクノロジー
  • 2024/05/11

  TSKaigi 2024 のスライドです

  • TypeScript
  • あとで読む
  • 開発
  • 型
  • プログラミング
  • programming
  • slide
  • 設計

  
• あとで読む

  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