dependent types

A collection of 1 posts

A Java geek
  • Me
  • Books
  • Speaking
  • Mentions
  • Focus
Oct 21, 2018 Clojure dependent types programming by contract

Learning Clojure: dependent types and contract-based programming

This is the 5th post in the Learning Clojure focus series. While describing how to cope with dynamic typing, we used the spec library. The library is not a true replacement for types - checks are executed at runtime instead of compile-time. On the flip side, it can go further than mere types, including emulating dependent types and programming-by-contract.

Nicolas Fränkel
A Java geek © 2008-2025
v. 38f0f0141d626ada7004a7d88f9cba3fe9de899f/10479951377
Latest Posts