Yolomorphismus

Gepostet am 27. Feb 16 von Profpatsch

Im Zuge unserer Unterhaltungen sind wir auf die Begrifflichkeit des „Yolomorphismus“ gekommen, welche Lars folgendermaßen definiert:

Yolomorphisums, n.

partielle, nicht-injektive Funktion

Beispiele sind die allseits gefürchteten head und tail, sowie (!!).

Ingo ergänzte um Beispiele im weiteren Sinn (YOLO ernst genommen):

unsafePerformIO :: IO a -> a

unsafeCoerce :: a -> b  -- mehr YOLO geht nicht

Lukas merkte noch an, dass man das alles wunderbar in ein Language-Feature umwandeln kann:

module Yolomorphism where

--| Yolomorphism typeclass
class Yolomorphable a where
  --| because YOLO
  yoloPerformIO :: IO a -> a
  --| because even more YOLO
  yoloCoerce    :: a -> b

Wir sollten das mal dem Haskell’-Team zur Einführung in die base-Library vorschlagen.