Tidbits tagged with #type-checking (1)

I wish to have a type system where I only need to type-hint the published parts (of a module/file) and let the type system infer all internal types. Though, I learned that even in Haskell land it is referred to as good practice to still type every function, no matter if public or private. Flow sounds to be doing what I want.
Continue reading →