Was ist der konzeptionelle Unterschied zwischen Maschinen und Conduits (oder ähnlichen Bibliotheken)?
Ich möchte das Konzept erlernen, damit ich Bibliotheken wiemaschinen.
Ich habe versucht zu folgenRúnar Bjarnason spricht über Maschinen, aber es gibt zu wenig Informationen, im Grunde nur ein paar Datentypen. Ich kann nicht mal verstehen wask ist in
newtype Machine k o = Step k o (Machine k o)
data Step k o r = Stop
| Yield o r
| forall t . Await (t -> r) (k t) r
oder was istt ist und warum es quantifiziert wird. Oder was ist der konzeptionelle Unterschied zwischenLeitung-ähnliche Bibliotheken undmaschinen?