Types for Not Lying or How to Talk the Language Compiler Understands

This page cannot be shown here. You can still read it on the original site — the toolbar below keeps your place in the directory.

The fun part of the Internet is that anyone can write some stupid stuff for anyone to read and laugh to their hearts’ content. I’ll try to write something useful, but even if it is a mess, I’m not the first, and definitely won’t be the last. What I want to talk about is the role of the types in our programming lives and how to utilize them for the better and easier life.

Read on /posts/types-for-not-lying/ ↗