fromHackernoon1 year agoWhy Type Soundness Matters in Functional Programming Languages | HackerNoonWe specialize the rules for data types to the concrete types Pair and List, and the rules for codata types to LPair, Stream and functions 𝜎 → 𝜏.Software development