型

• Idris 2の数量的型が解決した問題、導入した問題

  2021-09-26

  • Idris
  • Idris2
  • 型

• リソースを管理する型

  2019-12-21

  • 型
  • SMLSharp

• 手続き型脳で型推論を実装してみた

  2019-12-08

  • 型
  • 型推論
  • 言語実装
  • Advent Calendar
  • Advent Calendar 2019

• Rustで型レベル迷路

  2019-10-06

  • Rust
  • 型

• Idrisで依存キュー

  2019-02-28

  • Idris
  • 型
  • 依存型

• 1ML - コア言語とモジュール言語の統合

  2017-09-24

  • ML
  • 型

• ジェネリクス勉強会補足

  2017-06-24

  • 型
  • ジェネリクス
  • Rust
  • 言語実装

• ジェネリクス ディスパッチ 表裏

  2017-06-17

  • 型
  • ジェネリクス
  • Rust
  • 言語実装

• Rustの所有権、ライフタイム、参照、型、しがらみ

  2016-12-14

  • Rust
  • 型

• Rustのstructとtraitって似てるよね

  2016-12-03

  • Rust
  • 関連型
  • 小ネタ
  • 型

• Rustの関連型の使いどころ

  2016-11-22

  • Rust
  • 型

• 型クラスを越えて

  2016-07-16

  • 型クラス
  • 型

• ATS2の依存型を使ってAVL木

  2015-12-29

  • ML
  • ATS2
  • 依存型
  • 型

• 幽霊型を知った

  2015-05-24

  • 型
  • 幽霊型