dependent types

reference

Scala

repository

• milessabin/shapeless: Generic programming for Scala

blog post

• shapeless — an exploration of generic programming in Scala - Miles Sabin
• Dependent Types in Scala - Some Tips, Tricks and Techniques

paper

• Type Classes as Objects and Implicits

---

Haskell

repository

• bmsherman/haskell-vect: Length-indexed lists for Haskell

blog post

• 定理証明系 Haskell - konn-san.com

---

Idris

repository

• idris-lang/Idris-dev: A Dependently Typed Functional Programming Language

tutorial

• Types and Functions — Idris 0.11.2 documentation