LINUX.ORG.RU

История изменений

Исправление monk, (текущая версия) :

А с Either ещё и принудительно расширяешь тип результата.

В исходнике было

f : (integer? ->  (or/c integer? 'overflow 'division-by-zero))

а в Haskell пишешь

f :: Int -> Either String Int

и ограничение на список символов пропадает.

Исправление monk, :

А с Either ещё и принудительно расширяешь тип результата.

В исходнике было

f : (integer? ->  (or/c integer? 'overflow 'division-by-zero))

а в Haskell пишешь f Int -> Either String Int

и ограничение на список символов пропадает.

Исходная версия monk, :

А с Either ещё и принудительно расширяешь тип результата.

В исходнике было

f : (int? ->  (or/c integer? 'overflow 'division-by-zero))

а в Haskell пишешь f Int -> Either String Int

и ограничение на список символов пропадает.