Conversation

Inheritance is bad you say? I bet your "Haskell" can't do this! sealed trait Integer sealed trait Nat extends Integer case object Zero extends Nat case class Succ(pred: Nat) extends Nat case class Negate(nonzero: Succ) extends Integer

Brendan Zabarauskas

@brendanzab

Jun 24, 2021

Is this inheritance or just subtyping though? I sometimes get confused at the difference.

Aly

@Fish_CTO

Jun 24, 2021

It's /technically/ just subtyping because there's nothing being inherited

Brendan Zabarauskas

@brendanzab

Replying to

@Fish_CTO

Granted, Haskellers are weird when it comes to subtyping too though.

5:40 AM · Jun 24, 2021Twitter Web App

Replying to

and

Haskell does have subtyping though. For example: forall a. Nat a => a <: Int forall a. Fractional a => a <: forall a. Nat a => a You can even have multiple inheritance, because type-classes can have multiple parents.