Bryan Grounds bagrounds

## Type_Families_Sealed_Traits_and_Exhaustive_Pattern_Matching_in_Scala.md

      
              1 file
            
          
              3 forks
            
          
              6 comments
            
          
              15 stars
            
          
                mattbarackman
                / Type_Families_Sealed_Traits_and_Exhaustive_Pattern_Matching_in_Scala.md
            
            
              Last active
              August 25, 2020 01:08
            
              
                A brief lesson on Type Families, Sealed Traits, and Exhaustive Pattern Matching in Scala
              
          
    Scala: Type Families, Sealed Traits, and Exhaustive Pattern Matching

By: Matt Barackman
What is a Type Family?

A collection of objects or case classes that share a sealed trait.
In the example below, the type family would be a collection of traffic light colors with Red, Yellow, and Green as member objects.

  
## answer.md

      
              1 file
            
          
              15 forks
            
          
              34 comments
            
          
              249 stars
            
          
                non
                / answer.md
            
            
              Last active
              January 9, 2024 22:06
            
              
                answer @nuttycom

              
    What is the appeal of dynamically-typed languages?

Kris Nuttycombe asks:

I genuinely wish I understood the appeal of unityped languages better.
Can someone who really knows both well-typed and unityped explain?

I think the terms well-typed and unityped are a bit of question-begging here (you might as well say good-typed versus bad-typed), so instead I will say statically-typed and dynamically-typed.
I'm going to approach this article using Scala to stand-in for static typing and Python for dynamic typing. I feel like I am credibly proficient both languages: I don't currently write a lot of Python, but I still have affection for the language, and have probably written hundreds of thousands of lines of Python code over the years.