Die Wikipedia article on Effect system ist derzeit nur ein kurzer Stub und ich frage mich seit einiger Zeit, was ein Effektsystem ist. Gibt es Sprachen, die neben einem Typsystem auch ein Effektsystem
Gibt es nur in statisch typisierten Sprachen? Und ist es nur dort, wenn die Sprache nicht stark typisiert ist (d. H. Hat Java einen)? Wozu gehört es auch - in der Kompilierungsphase, wenn man davon au
Ich habe im Internet herumgeschnüffelt auf der Suche nach verschiedenen Tipp-Praktiken von Erlang-Programmen und es scheint ein paar zu geben ... obwohl es etwas schwierig ist, eine solide Quelle von