AZ
насколько глубока кроличья нора
Size: a a a
2020 March 11
OA
Dollar Føølish
Очень типобезопасно кек
а, я забыл о чем этот чат
DF
Смешно
DF
Все знают что это чат о монадах
OA
да-да
(
red75prime
Посмотрел исходники cabal. Ну, в принципе, да - разобраться можно. Хотя я Haskell в своё время учил.
https://github.com/haskell/cabal/blob/master/cabal-install/main/Main.hs#L238-L242
doэто
smth <- (\b -> Just b) <$> action
do?
b <- action
smth <- pure $ Just b
https://github.com/haskell/cabal/blob/master/cabal-install/main/Main.hs#L238-L242
(\b -> Just b) <$> actionГлаз режёт чёт
r
(\b -> Just b) <$> actionГлаз режёт чёт
Ну так написано. Там правда ещё case. Flow control в do, как по мне, не очень сильная сторона Haskell'я
EG
Т-34 85
Это не означает, что в памяти они разные. И вообще, так можно долго демагогию разводить, ведь каждый реализует как хочет
Тебе JS ничего не гарантирует про то, как они лежат в памяти
EG
Типы имеет смысл обсуждать в семантике языка
Т8
Невалидное значение типа
*type, очевидно. Тебе, кстати, не гарантируется, что это ноль на всех платформах.Стоп, стоп. Если оно невалидное, то как же я могу на него ссылаться?
И как нулевой адрес может не быть нулевым?
И как нулевой адрес может не быть нулевым?
AZ
(\b -> Just b) <$> actionГлаз режёт чёт
зачем так писать? Можно просто Just <$> action
EG
nullptr не обязан в памяти лежать как 0Т8
Если учить их много, то довольно быстро перестаёшь замечать разницу
Пора отдохнуть
(
зачем так писать? Можно просто Just <$> action
Вот и я про то же
EG
Это правда на большинстве современных платформ, но, технически, это не обязательно
(
Но я исходники посмотрел, там ещё ифчик внутри, так что бог с ним
r
зачем так писать? Можно просто Just <$> action
Я сократил. Актуальный код
mainWorker :: [String] -> IO ()
mainWorker args = do
maybeScriptAndArgs <- case args of
[] -> return Nothing
(h:tl) -> (\b -> if b then Just (h:|tl) else Nothing) <$> CmdRun.validScript h
AZ
а ну норм
Т8
Но общий концепт одинаковый
Что ещё за концепт? И вообще нормально вот так обобщать?
DF
Это правда на большинстве современных платформ, но, технически, это не обязательно
Эксплисит бул от нуллптр_т должен фолс давать