This site does not allow itself to be embedded. You can still read it on the original site — the toolbar below keeps your place in the directory.
We use type systems to minimize the subset of valid inputs to an API. That's it. Nothing more. Thoughts are non-linear and messy. So, we make mistakes while turning our thoughts into code which needs to be precise. Using this guiding principle, we can often arrive at the best types for business logic. Diving into an example Let's say we are writing a university management software. We…
Comments
Nothing yet. Say the first thing.
Sign in to join the conversation.