Skip to main content

Seeing the power of types

Most applications I’ve seen don’t take advantage of the power of the type system and fall back to primitive types like string, int, … .

But what if you start using the type system to design a more understandable and less buggy application?

You don’t believe it is possible? Have a look at the Designing with Types blog series, it will change the way you write your code forever…

The complete list of posts:

1. Designing with types: Introduction

Making design more transparent and improving correctness

2. Designing with types: Single case union types

Adding meaning to primitive types

3. Designing with types: Making illegal states unrepresentable

Encoding business logic in types

4. Designing with types: Discovering new concepts

Gaining deeper insight into the domain

5. Designing with types: Making state explicit

Using state machines to ensure correctness

6. Designing with types: Constrained strings

Adding more semantic information to a primitive type

7. Designing with types: Non-string types

Working with integers and dates safely

8. Designing with types: Conclusion

A before and after comparison

Popular posts from this blog

DevToys–A swiss army knife for developers

As a developer there are a lot of small tasks you need to do as part of your coding, debugging and testing activities.  DevToys is an offline windows app that tries to help you with these tasks. Instead of using different websites you get a fully offline experience offering help for a large list of tasks. Many tools are available. Here is the current list: Converters JSON <> YAML Timestamp Number Base Cron Parser Encoders / Decoders HTML URL Base64 Text & Image GZip JWT Decoder Formatters JSON SQL XML Generators Hash (MD5, SHA1, SHA256, SHA512) UUID 1 and 4 Lorem Ipsum Checksum Text Escape / Unescape Inspector & Case Converter Regex Tester Text Comparer XML Validator Markdown Preview Graphic Color B

Help! I accidently enabled HSTS–on localhost

I ran into an issue after accidently enabling HSTS for a website on localhost. This was not an issue for the original website that was running in IIS and had a certificate configured. But when I tried to run an Angular app a little bit later on http://localhost:4200 the browser redirected me immediately to https://localhost . Whoops! That was not what I wanted in this case. To fix it, you need to go the network settings of your browser, there are available at: chrome://net-internals/#hsts edge://net-internals/#hsts brave://net-internals/#hsts Enter ‘localhost’ in the domain textbox under the Delete domain security policies section and hit Delete . That should do the trick…

Azure DevOps/ GitHub emoji

I’m really bad at remembering emoji’s. So here is cheat sheet with all emoji’s that can be used in tools that support the github emoji markdown markup: All credits go to rcaviers who created this list.