Tutoriel par Examples: divisent



Par exemple, un calcul impliquant des commandes à lire et à écrire à l'invite: Nous décrivons tout d'abord les "commandes" de notre calcul en tant que type de données Functor {-# LANGUAGE DeriveFunctor #-} data TeletypeF next = PrintLine String next | ReadLine (Strin...

Page 1 de 1