5 May 2015 / Marcin Rzeźnicki

Path dependent types – modeling algebraic structures has never been easier


Let’s start with small refreshment of what actually the dependent typing is. Using Wikipedia as a source: In computer science and logic, a dependent type is a type that depends on a value. Neat, huh? But what does it mean in practice? If you take a look at the Wikipedia’s list of languages that implement dependent typing you might get […]

Read more