JS
Желательно в компиляции. Отлавливать рантаймовую фигню в хаскелле я как-то не люблю
но литералы в Хаскеле только Integer. придётся fromInteger' :: Integer -> Maybe a использовать и ругаться на необработанность ошибки
Size: a a a
2020 November 11
JS
Желательно в компиляции. Отлавливать рантаймовую фигню в хаскелле я как-то не люблю
ещё Liquid Haskell хорошо решает подобные задачи (если заработает)
TZ
У меня всё никак не доходят руки написать обёртки над Word32/64/16/8, которые бы при битовом сдвиге вправо на целое число байт меняли бы свой тип на более узкий
к
Желательно в компиляции. Отлавливать рантаймовую фигню в хаскелле я как-то не люблю
a <- read $ getLine
b <- read $ getLine
pure $ (a + b) :: WordN 16
как тут в компайлтайме отловить? Только Maybe добавить, и матчить результат
b <- read $ getLine
pure $ (a + b) :: WordN 16
как тут в компайлтайме отловить? Только Maybe добавить, и матчить результат
VD
a <- read $ getLine
b <- read $ getLine
pure $ (a + b) :: WordN 16
как тут в компайлтайме отловить? Только Maybe добавить, и матчить результат
b <- read $ getLine
pure $ (a + b) :: WordN 16
как тут в компайлтайме отловить? Только Maybe добавить, и матчить результат
Не, пользовательский ввод фиг с ним, его не будет. Мне главное чтоб WordN -> WordN не ломалось и прочее компайл-тайм известные литералы
Y
https://wiki.haskell.org/MultiCase вот такого хочется? Увы, нет
JS
в языке явно нет, но то, что есть, почти не длиннее
2020 November 12
Y
в языке явно нет, но то, что есть, почти не длиннее
А что есть? Если ветку на каждый паттерн писать — всяко длиннее
JS
А что есть? Если ветку на каждый паттерн писать — всяко длиннее
f =
\case
A{a} -> common a
B{b} -> common b
where
common x = ...
JS
если вводить переменные не надо, то ещё проще:
_ | isA || isB -> _YR
почему они назвали модули, параметризованные модулями, функторами...
мб потому что модуль - это алгерб. структура
KV
траверсалами думаю можно как-то красиво сделать
Достаточно призм, мне кажется
AV
Я правильно понял, что в вопросе было желание того, чтобы pm чекер работал?
AV
Для линз/призм, кстати была какая-то библиотека
MK
Хм, а можно пометить ffi как не reentrant? Чтобы из разных капабилити несколько раз одновременно он не делался
Чтобы мне самому локи на него не наворачивать
Чтобы мне самому локи на него не наворачивать
Y
если вводить переменные не надо, то ещё проще:
_ | isA || isB -> _Эти
isA ещё вводить нужно