История изменений
Исправление 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
и ограничение на список символов пропадает.