a thoughtful web.
Good ideas and conversation. No ads, no tracking.   Login or Take a Tour!
comment by o11c
o11c  ·  3440 days ago  ·  link  ·    ·  parent  ·  post: What are you working on today?

Note that the type-checking has no effect at runtime, it is to make it easier to verify correctness and improve autocompletion in IDEs.