The types in Java/C# etc. are what I'd term as object-oriented type systems. They conflate the notion of class and type; while in Typed Functional languages, th

The types in Java/C# etc. are what I'd term as object-oriented type systems. They conflate the notion of class and type; while in Typed Functional languages, they just type data, and also gives you Sum Types and Exhaustive Pattern Matching. This is a very different way of programming from object-oriented type systems. Some more explanation here if you're curious: https://protoship.io/blog/an-invitation-to-reasonml/#the-big-deal-types-around-data-instead-of-classes https://protoship.io/blog/an-invitation-to-reasonml/#the-big...