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

Слайды?

слайды будут

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

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

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

ну если уложатся до 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 новых сообщений с момента когда затнвайтился в конфу и не понял ни одного

Жизненно

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

module Main where authenticate ("Santa Claus", "Ho Ho Ho!") = True authenticate (_, _) = False authenticate "Santa Claus" "Ho Ho Ho!"

я новичек

у меня валит ошибку

source_file.hs:6:1: Parse error: naked expression at top level Perhaps you intended to use TemplateHaskell

хелп ми плиз

если это в репле, то нужны леты (вроде) и многострочный режим. если в модуле - то нет мэйна и принта

main = print $ authenticate "S" "H"

блет

сложна

точна

ну можно main = print (authenticate "S" "H")

я пітаюсь паттерн матчинг использовать

module Main where authenticate ("Santa Claus", "Ho Ho Ho!") = True authenticate (_, _) = False authenticate "Santa Claus" "Ho Ho Ho!"

ты паттерн-матчишь кортеж, а вызываешь как функцию

вызывай как функцию от кортежа или паттерн-матчи без кортежа

да, и это тожа

у тебя же в ПМ пара, а ты юзаешь в вызове функцию с 2 аргументами

))

это следующее сообщение об ошибке :)

такс я думаю время идти разбираться

да кстати если я там скобки убираю ну типо кортеж убираю все равно та же ошибка

с такими мелочами я работаю так: сначала пишу в файл определение функции, а потом играюсь с ним уже в REPL

так что main не нужен

ну я пытаюсь так делать

да кстати если я там скобки убираю ну типо кортеж убираю все равно та же ошибка

добавь функцию main или запускай в репле

спасибо

ошибка поменялась))))

или назови модуль по-другому