Hva er egentlig forholdet mellom Haskell og kategoriteori?
Spørsmål
Haskell og kategoriteori er to av de viktigste språkene innen informatikk. De tillater begge kraftige abstraksjoner som gjør det lettere å resonnere om beregningsproblemer. Haskell er kjent for sitt typesystem, som gjør det til en ...