λ
в менюшке хаскеля есть (Re)Build Hoogle Database, надо его кликнуть и подождать
Size: a a a
2020 January 16
AZ
в менюшке хаскеля есть (Re)Build Hoogle Database, надо его кликнуть и подождать
а, эту штуку я кликал. Но чет не сработало. Щас еще разпопробую
λ
тогда сначала Update Haskell Tools
p
а на хаскеле есть своя иде?
p
или плагины юзаете?
AZ
тогда сначала Update Haskell Tools
15.01.2020
22:39 Hoogle database doesn't exist. Hoogle features can be enabled by menu option `Haskell`/`(Re)Build Hoogle database`
22:39 Source folder `C:\Users\pzixe\Documents\Repos\haskell-playground\app` of module `haskell-playground` is defined both as Source and Test Source
AZ
чет нишмагла
λ
ты тесты в одну папку с апликухой засунул?
В
постоянно зависаю на них
О_о мне match конечно больше нравится, но ифлет вроде тоже очевидный
AZ
ты тесты в одну папку с апликухой засунул?
нет
AZ
у меня стандартный шаблон stack new appname
λ
О_о мне match конечно больше нравится, но ифлет вроде тоже очевидный
читается немного странно
λ
в Coq для этого например синтаксис:
if expr is <pattern> then v1 else v2λ
точне в mathcomp
В
читается немного странно
Мб, но не так чтобы зависнуть...
В
в Coq для этого например синтаксис:
if expr is <pattern> then v1 else v2И в чём отличия?
λ
И в чём отличия?
чуть человечнее выглядит
kc
Есть тулза для перевода Go в Rust? На подобии с c2rust?
λ
кстати, всем пробующим хаскель я бы посоветовал посмотреть на вот эту штуку https://github.com/litxio/ptghci
