Но вообще, это очень здорово, что стримят

это ответило на твой вопрос?

Точно, принимает же IO аргументом. Проблема в том, что вот так не работает: handle print $ return $ headPrelude emp

а что пишет?

смотри, тип a у handle у тебя какой

из print следует, что (), из headPrelude, что a

Couldn't match type ‘Int’ with ‘()’ Expected type: [()] Actual type: [Int] In the first argument of ‘headPrelude’, namely ‘emp’ In the second argument of ‘($)’, namely ‘headPrelude emp’

во, ghc это и написал

handle (fmap (const Nothing) . print) (Just <$> pure (headPrelude emp)

например (не факт что лучший вариант)

handle (fmap (const Nothing) . print) (Just <$> pure (headPrelude emp)

А так жалуется на type variable is ambiguos

больше информации :)

source_file.hs:21:5: No instance for (GHC.Exception.Exception a0) arising from a use of ‘handle’ The type variable ‘a0’ is ambiguous Note: there are several potential instances: ... source_file.hs:21:36: No instance for (Show a0) arising from a use of ‘print’ The type variable ‘a0’ is ambiguous Note: there are several potential instances: ...

И перечисляет все известные инстансы для Show и Exception

ну логично

какой тип у handle?

handle :: Exception e => (e -> IO a) -> IO a -> IO a

из print следует что e Exception e, Show e

и как ему вывести что там именно?

print @ SomeException например

или handleSome зопилить

print @ SomeException например

У меня тут GHC 7.10 :(

или handleSome зопилить

С конкретными аннотациями типа?

ну или handle (\e -> print (e::SomeException) >> pure Nothing)

в любой непонятной ситуации аннотируй типы

даже если плохо понимать что делает получившийся код скорее всего он будет корректно работать 👍

ну или handle (\e -> print (e::SomeException) >> pure Nothing)

Not in scope: type constructor or class ‘SomeException’

Блин, я хочу просто исключение перехватить

ну import Control.Exception

откуда catch-то у тебя

ну import Control.Exception

Да, я только handle импортил. Но сейчас имппортировал весь модуль и всё равно: source_file.hs:20:75: Couldn't match type ‘Int’ with ‘IO (Maybe a)’ Expected type: [IO (Maybe a)] Actual type: [Int] Relevant bindings include main :: IO (Maybe a) (bound at source_file.hs:17:1) In the first argument of ‘headPrelude’, namely ‘emp’ In the second argument of ‘($)’, namely ‘headPrelude emp’

GHC написал тебе четко ошибку, если скомбинировать с тем что я написал выше, то все получится

handle (fmap (const Nothing) . print) (Just <$> pure (headPrelude emp)

^

handle (\e -> print (e::SomeException) >> pure Nothing) . return . Just $ headPrelude emp Работает, но ничего не печатает

а что оно должно напечатать?

Или так и должно быть?

я не знаю, я объясняю ошибки компилятора и как от них избавиться

я вижу, что тут оно должно печатать исключение, но это не точно

т.к. ты делаешь return Just, а не evaluate

моэтому ты вернёшь thunk, и исключение вылетит вне handle блока

вообще в Control.Exception очень неплохая документация я скажу

а в Control.Monad.Trans.Except еще лучше (на правах оффтопика)

print =<< handle (\e -> print (e::SomException) >> pure Nothing) (Just <$> evaluate (headPrelude emp)

вот код, который напечатает что-то

не факт что то, что надо т.к. это будет Exception \n Nothing в случае исключения

в Except хуже документация, чем в Control.Exception

ещё оно не расскажет, как пользоваться расширяемыми исключениями

не факт что то, что надо т.к. это будет Exception \n Nothing в случае исключения

Угу, именно это и печатает

ну напиши, чтобы печатало что надо

вообще в base документация очень хороша

но есть ощущение, что её особо не читают : (

вообще в base документация очень хороша

В сорцах или на хакадже?

hackage

ну хакадж из сорцов генерируется

print =<< handle (\e -> print (e::SomException) >> pure Nothing) (Just <$> evaluate (headPrelude emp)

Хм, а если убрать `print =«`из начала, то только сообщение печатает

Спасибо, @qnikst.

нема за что

Это новая фишка передовых разработчиков - стримить Haskell?

просто стримить модно. bitemyapp вот rust стримит

Сорри за оффтоп, но может тут есть аналоговые электронщики-любители? В каком простеньком софте (Альтиум дизайнер не предлагать), а лучшне онлайн вообще мне будет удобно разработать печатную плату для схемки на пару-четвекру десятков элементов?

Сорри за оффтоп, но может тут есть аналоговые электронщики-любители? В каком простеньком софте (Альтиум дизайнер не предлагать), а лучшне онлайн вообще мне будет удобно разработать печатную плату для схемки на пару-четвекру десятков элементов?

бывшие есть, я в прошлом PCAD 20xx юзал, не знаю как там и что сейчас, но раньше было норм

(правда не совсем любители 😉 )

просто я не хотел качать спец-софт и еще выбирать что работает на маке, думал есть какие-то известные онлайн-ресурсы - например онлайн компиляторов я немало знаю и использую.

может за последние лет 6-7 что-то поменялось, но в то время едиственный выбор ОС была Windows, если речь идет про инженерный софт

Правлю я такой сигнатуры моего мультипарамного АДТ, заменяю хак-тип Exists на GADTs, еще пару рефакторингов делаю, и думаю, что эти пять экранов ошибок с несовпадающими сигнатурами придется всю ночь править. Но вдруг, когда я заменяю последнюю переменную типа, все компилится и снова работает. Вот за это мы и ❤ Haskell

В C++ на темплейтах также

Как называется расширение в котором можно использовать ⤚ в типе?

В C++ на темплейтах также

Да не очень

Там ещё что-то про проверку единственности использования аргумента было...

в линейных типах ⊸

@qnikst в аски оно ->. судя по https://www.tweag.io/posts/2018-03-08-linear-sort.html ?

Правлю я такой сигнатуры моего мультипарамного АДТ, заменяю хак-тип Exists на GADTs, еще пару рефакторингов делаю, и думаю, что эти пять экранов ошибок с несовпадающими сигнатурами придется всю ночь править. Но вдруг, когда я заменяю последнюю переменную типа, все компилится и снова работает. Вот за это мы и ❤ Haskell

За боль и крупицы надежды? За эндорфиновый шторм, когда у ghc exitCode = 0?

@qnikst в аски оно ->. судя по https://www.tweag.io/posts/2018-03-08-linear-sort.html ?

ага

вроде в ветку это замержили ужк

Как называется расширение в котором можно использовать ⤚ в типе?

вот прям этот символ врятли а вообще UnicodeSyntax

в линейных типах ⊸

Точно! Спасибо, это я искал, только стрелку перепутал.

За боль и крупицы надежды? За эндорфиновый шторм, когда у ghc exitCode = 0?

Вроде того 😊

Точно! Спасибо, это я искал, только стрелку перепутал.

нужно или докер контейнер брать или лучше самому собирать ветку только

Сорри за оффтоп, но может тут есть аналоговые электронщики-любители? В каком простеньком софте (Альтиум дизайнер не предлагать), а лучшне онлайн вообще мне будет удобно разработать печатную плату для схемки на пару-четвекру десятков элементов?

KiCad под linux

пасиб, я уже зарегился онлайн на easyEda - по интерфейсу похож на spice-LT, привычно )

Сорри за оффтоп, но может тут есть аналоговые электронщики-любители? В каком простеньком софте (Альтиум дизайнер не предлагать), а лучшне онлайн вообще мне будет удобно разработать печатную плату для схемки на пару-четвекру десятков элементов?

Sprint Layout

Но лучше таки Altium, конечно.

Sprint Layout

Это если пара десятков элементов. Но практика показала, что даже 10-ти элементные платки удобнее разводить в альтмуме. Ток библиотеку корпусов надо, чтоб самому не рисовать ( я её таки себе нарисовал, вроде )