А он так плох? Я пока пишу на vscode, но поддержка хаскеля меня не радует, использую вроде intero, нужно перезагружать редактор при установке любого пакета, но не знаю куда

> использую вроде intero, нужно перезагружать редактор при установке любого пакета это проблема плагина в вскоду. В Emacs есть команда intero-restart :)

intero, это просто фоновый подпроцесс, его перезапуск не должен быть проблемой

Перезапускать интеро тоже фиговый выход, нужно, чтобы все само обновилось там и стало норм)

перезапуск нужен, ибо intero, это надстройка над REPL, и часть изменений в конфигурации проекта просто так не применить в репле без перезапуска (или можно применить, но это осень сложно)

когда достаточно :reload, intero сам справляется

Я к тому, что некая абстрактная идеальная среда должна сама увидеть, что пакеты изменились, и перезагрузить все, что нужно

incron?

https://spb-fp-meetup.timepad.ru/event/555708/ приходите послушать @qnikst

а записи будут?

маловероятно

эхь

раньше что-то писали, но в сети очень редкие записи с fprog есть

кстати, если есть топики, которые желательно покрыть и интересные вопросы, то можно их мне задать и я их покрою

Слайды?

слайды будут

я минимум выложу

Интересны две последние темы, жаль, что записи не будет

похоже точно придётся на такси домой

ну если уложатся до 23 то ок. хотя скорее всего не выйдет

у меня последняя маршрутка в 23 с московской

https://twitter.com/ko_bx/status/898550827954130945

наканецта

самая бесящая меня хрень в х-е

хотя тут тоже костыльновато, но хоть что-то

вербозненько

да

ещё лет 5 пройдёт и сделают как надо

эвоидят саксес как могут !:)

@mtreskin но линзы уже же есть?

vim + terminal = haskell IDE

https://twitter.com/ko_bx/status/898550827954130945

а объясните, в чем суть? два конструктора значений с одинаковым названием?

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

getField @"name" лолчто

Сейчас бы в 2017 функции как строки вызывать

жсненько

Там тайплевел строки и инстанс HasField "name" User, если я правильно понял. Главное, что тайпчекается

почему не #name?

Такой синтаксис у TypeApplications

https://ghc.haskell.org/trac/ghc/wiki/TypeApplication

почему не #name?

Почему не name?

Почему не name?

это вопрос будущего, а мой вопрос о настоящем

#name - тип?

хмм

нет, OverloadedLabels

я немного отстал. давно строка в хаскеле стала типом?

Ну, в данном примере "name" - не строка, а тип с кайндом Symbol

TypeApplication позволяет через @ этот тип аргументом отдать

Не, typeapp. что-то другое делает

а где сейчас снойман живет?

TZ wise

а то вроде там ночь должна быть, а он активно принимает PR

По сути @ позволяет явно указать тип для тайпкласса, то есть просто getField (User ...) не знает, для какого тайпкласса HasField (f :: Symbol) r вызвать метод getField, с помощью @"name" мы явно говорим, что f = "name" и мы хотим инстанс HasField "name" User

А само расширение просто генерирует такие инстансы, поэтому все тайпчекается

Хм, все немного сложнее, там 3 аргумента у тайпкласса - значение поля еще, в твитте все описано

ну это мне нравится больше чем #name

меньше магии как-то

(как-то спрашивал уже давно, ну да ладно) ничего нового парсек-подобного не появлялось? (ну или не подобного) перфоманс не важен. требований особо нет – пишу транслятор для себя и норм будет если с чем-нибудь новым познакомлюсь

если давно спрашивал, может, мегапарсек для тебя окажется новым

а трифекта уже старая?

parsers, lol

это кметтолиба?

кметтолибы постепенно начинают напоминать олеговские

Ага. Инстансы для трифекты/attoparsec/parsec есть.

а в чем профит старенького polyparse, расскажите мне

а мне про uuparsinglib

если давно спрашивал, может, мегапарсек для тебя окажется новым

наверное окажется. тогда я не понял в чём разница

у мегапарсека самые красивые сообщения об ошибках, по слухам

сейчас вроде уже статьи гайды гуглятся. реально тогда только типичная ситуация была – описание функций в модулях

и кусок авторов здесь

под "красивые" в том числе подразумевается "понятные и полезные для пользователя"

у мегапарсека самые красивые сообщения об ошибках, по слухам

ну диагностика это круто. правда для парсеров есть 2 направления развития: не сделать слишком много тайпклассов чтобы при написании было понятно откуда ошибка, ну и описание ошибок в полученом парсере (видимо имеется ввиду второе)

тайпклассы? речь об ошибках в инпуте пользователя

жаваскриптеры негодуют https://twitter.com/jaredforsyth/status/900023624073084929

И что тут непонятного? 🙂

По-моему, если бы это было написано на жс, я бы дольше вникал

ну вообще если бы это еще он красиво написал

Вот это уровень, 28 новых сообщений с момента когда затнвайтился в конфу и не понял ни одного

Вот это уровень, 28 новых сообщений с момента когда затнвайтился в конфу и не понял ни одного

Жизненно

Спрашивай ответы, не стесняясь. Есть только одна вещь которую хаскелисты любят больше чем абстрактный нонсенс - умничать.