Телеграмм чат группы haskellru страница 16235

Size: a a a

Haskell

2021 May 25

[coc.nvim] No [cradle](https://github.com/mpickering/hie-bios#hie-bios) found for src/Main.hs.
Proceeding with [implicit cradle](https://hackage.haskell.org/package/implicit-hie).
You should ignore this message, unless you see a 'Multi Cradle: No prefixes matched' error.

GitHub

mpickering/hie-bios

Contribute to mpickering/hie-bios development by creating an account on GitHub.

источник

12:12пожаловаться #1

кана in Haskell

You should ignore this message, unless you see a 'Multi Cradle: No prefixes matched' error.

источник

12:12пожаловаться #2

XÆA-XII in Haskell

-_-)

источник

12:12пожаловаться #3

XÆA-XII in Haskell

ок

источник

12:12пожаловаться #4

Aleksei (astynax) Pi... in Haskell

На обычных "однопакетовых" проектах обычно всё работает (upd: без прописывания cradles)

источник

12:13пожаловаться #5

ЗП

Зигохистоморфный Пре... in Haskell

мне нужно было по дайнемик код и пришлось полностью все собирать самому с флагами дайнемик

источник

12:13пожаловаться #6

Aleksei (astynax) Pi... in Haskell

Ну ты же понимаешь, что мы сейчас описание cradles обсуждаем, да?

источник

12:14пожаловаться #7

Aleksei (astynax) Pi... in Haskell

А не вообще HLS (который не работает во многих хоть чуть-чуть нетривиальных ситуациях)

источник

12:15пожаловаться #8

ЗП

Зигохистоморфный Пре... in Haskell

http://hackage.haskell.org/package/implicit-hie

мне это помогло даже с мультикредлами

Hackage

implicit-hie: Auto generate hie-bios cradles & hie.yaml

Install via `cabal install implicit-hie`.

источник

12:17пожаловаться #9

A64m AL256m qn<co... in Haskell

мож хаскель 98? тогда :set -XHaskell98 -XDatatypeContexts -XNoNondecreasingIndentation -XMonomorphismRestriction -XNoExtendedDefaultRules будет некоторым приближением
но стандартная либа будет не хаскель 98.

источник

12:52пожаловаться #10

A64m AL256m qn<co... in Haskell

на идрисе все про что думаешь что в три строчки делаешь - делается в 300 строчек

источник

12:54пожаловаться #11

vacuité. in Haskell

Идрис это какая-то новая бдсм-машина?

источник

12:55пожаловаться #12

кана in Haskell

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

источник

12:55пожаловаться #13

ЖК

Жук Короед in Haskell

Оу, спасибо. 5 с 8 перепутал 😂
Теперь заработало.

источник

12:58пожаловаться #14

кана in Haskell

на самом деле там даже одной строчки нет, спека просто дублирует определение функции, смысла во всем этом куске кода 0

источник

13:16пожаловаться #15

кана in Haskell

аналогичный однострочник на coq. На самом деле тут те же 4 строки что и в идрисе, просто они спрятаны, потому что одинаковы для всех четырех утверждений

источник

13:17пожаловаться #16

vacuité. in Haskell

Назвать язык петухом.

источник

13:18пожаловаться #17

vacuité. in Haskell

Новый вид оскорблений.

источник

13:18пожаловаться #18

кана in Haskell

ну так и нейминг agda оттуда же)

источник

13:18пожаловаться #19

кана in Haskell

курочка какая-то, или что-то такое

источник

13:19пожаловаться #20