type-theoryの検索結果1 - 4 件 / 4件

• あとで読む

  Introductory resources to type theory for language implementers

  • 22 users
  • www.haskellforall.com
  • テクノロジー
  • 2022/05/02

  This post briefly tours resources that helped introduce me to type theory, because I’m frequently asked by others for resources on this subject (even though I never had a formal education in type theory). Specifically, these resources will focus more on how to implement a type checker or type inference algorithm. Also, my post will be biased against books, because I don’t tend to learn well from r

  • haskell
  • あとで読む
  • プログラミング
  • programming
  • まとめ
• あとで読む

  Introduction to Homotopy Type Theory

  • 3 users
  • arxiv.org
  • 学び
  • 2022/12/22

  This is an introductory textbook to univalent mathematics and homotopy type theory, a mathematical foundation that takes advantage of the structural nature of mathematical definitions and constructions. It is common in mathematical practice to consider equivalent objects to be the same, for example, to identify isomorphic groups. In set theory it is not possible to make this common practice formal
• あとで読む

  GitHub - andrejbauer/spartan-type-theory: Spartan type theory

  • 3 users
  • github.com/andrejbauer
  • テクノロジー
  • 2023/02/26

  You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert

  
• あとで読む

  GitHub - eashanhatti/peridot: A fast functional language based on two level type theory

  • 3 users
  • github.com/eashanhatti
  • テクノロジー
  • 2022/05/11

  High-level programming and program performance are at odds. High-level languages enable complex, pervasive abstractions, whereas high performance demands these abstractions be reduced to a minimum. Thus, an optimizing compiler is an essential part of a high-level language that seeks to accomplish both goals. However, even the most sophisticated optimizer can fall short when presented with abstract