3 ms·
That sounds more like an OOP thing than a type system thing - functional languages make excellent use of type systems without mention of anything remotely sound
by zarathustreal 2y ago
That sounds more like an OOP thing than a type system thing - functional languages make excellent use of type systems without mention of anything remotely sounding like a “Design Pattern (tm)”