AA
часто правда надо постараться чтоб до него дошло
Size: a a a
2020 July 31
AA
Кстати, был плагин который гхцишный отладчик к вскоду подключает
я думаю он бесполезен, потому что весь смысл гхци отладчика залезть реплом в определенный контекст, а там весь уи под другую парадигму заточен
2020 August 01
AF
единственное правило это количество таргетов, 1 - линза, много или 0 - траверсал. Если траверсал можно использовать для создания значения, то он призма, все
Призма — это траверсал, который может устанавливать значения? Очень интересное мнение
MK
Чё
Призма может создавать значение, в этом её соль
Призма может создавать значение, в этом её соль
к
Призма — это траверсал, который может устанавливать значения? Очень интересное мнение
это официальное из доки линз
YR
Максим Воротынский
Какие у haskell есть инструменты для отладки?
по-моему в Atom-е была поддержка отладчика. В VSCode есть сейчас уже (там кажется надо поставить haskell и debug adapter расширения). Они при установке скажут что доставить (для remote сами все установили): language server там и т.д.
MK
Вау
MK
Хип вью встроен в гхц?
AA
частично
AA
та часть что с гхц не строит граф
AA
так что этот скрипт от ghc-heap-view зависит
AA
в 8.10 пм чекер даже "дальнодействие" поддерживает
но не из другого уравнения
longdist' :: [a] -> Maybe a
longdist' l@(_:_) = case l of x:_ -> Just x
longdist' [] = Nothing
но не из другого уравнения
longdist :: [a] -> Maybe a
longdist [] = Nothing
longdist l = case l of x:_ -> Just x
Pattern match(es) are non-exhaustive
In a case alternative: Patterns not matched: []
|
12 | longdist l = case l of x:_ -> Just x
| ^^^^^^^^^^^^^^^^^^^^^^^
AA
вообще, склоняюсь к тому что в 8.10+ от чекера уже можно какую-то пользу получать, если старательно обходить все его недоделки и держать некоторый доверенный код в проаннотированных как полные синонимах (правда подводные камни синонимов я пока не искал), а не просто затыкать ворнинги кэтч-олами
AA
и надо сказать, что способность чекера показать что забыли матчить СИЛЬНО хуже чем способность определить что все нормально матчится.
практически для всего что он нового чекает по сравнению с 8.8 он не может сказать что не так если чек не проходит
практически для всего что он нового чекает по сравнению с 8.8 он не может сказать что не так если чек не проходит
JS
в 8.10 пм чекер даже "дальнодействие" поддерживает
но не из другого уравнения
longdist' :: [a] -> Maybe a
longdist' l@(_:_) = case l of x:_ -> Just x
longdist' [] = Nothing
но не из другого уравнения
longdist :: [a] -> Maybe a
longdist [] = Nothing
longdist l = case l of x:_ -> Just x
Pattern match(es) are non-exhaustive
In a case alternative: Patterns not matched: []
|
12 | longdist l = case l of x:_ -> Just x
| ^^^^^^^^^^^^^^^^^^^^^^^
джва года ждал!
AA
надо будет написать текст/пост о том как дела с пм сейчас, за десять лет что я его буду писать как раз новый пм в смл кто-нибудь да имплементирует