однако)

Кто-то был в functionalprogramming.slack.com ?

наверное что-нибудь мёртвое

Снойман не любит трансформеры) https://github.com/yesodweb/yesod/pull/1466

А кто их любит?

ну расширяемые эффекты конечно линейней смотрятся

Кто-то был в functionalprogramming.slack.com ?

Да. Обычно в #coq и #idris

но все уже на байтстрингах-тексте и слишком поздно что-то менять

А чем плохи байтстринги (кроме того, что это, строго говоря, не текст)?

ну расширяемые эффекты конечно линейней смотрятся

А что, в Хаскелл уже завезли эффекты не из грязи и палок?

А что, в Хаскелл уже завезли эффекты не из грязи и палок?

Киселевские же есть

Киселевские же есть

Эт которые?

Эт которые?

Freer based

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

как сделать так чтобы мусор в конце строки не игнорировался

parseMyStuff <* eof

parseMyStuff <* eof

eof это же всякие окончания строки

> eof = notFollowedBy anyToken <?> "end of input"

что-то не сработало

parseMyStuff <* eof

эта штука проигнорирует же мусор

код в студию!

https://gist.github.com/zinenko/0ef19bf5cf75db68fba582ac6fb501ec

я вот это хочу поправить

по greedy стоит загуглить

Михаил это вообще имя из ветхого завета. Судя по био это араб

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

хм, только щас заметил, что парсек "всё", кончился

последний апдейт в 2016

он продолжается под именами Атто и Мега

то есть attoparsec и megaparsec

*Main> parse term "" "((succ zero)) blah" Right ((succ zero)) *Main> parse (term <* eof) "" "((succ zero)) blah" Left (line 1, column 15): unexpected 'b' expecting space or end of input

*Main> parse term "" "((succ zero)) blah" Right ((succ zero)) *Main> parse (term <* eof) "" "((succ zero)) blah" Left (line 1, column 15): unexpected 'b' expecting space or end of input

ты прав, я наебался

спасибо

то есть attoparsec и megaparsec

и кто из них пизже?

и кто из них пизже?

https://github.com/mrkkrp/megaparsec#comparison-with-other-solutions

и кто из них пизже?

переформулируй, пожалуйста, вопрос так, чтобы в нём появился смысл

а зигоморфный понял)

не факт. он тебя послал по ссылке

ну вроде направление верное)

а кто-нибудь может сформулировать, в чем может быть ниша polyparse?

attoparsec быстрее, megaparsec удобнее, хотя по слухам trifecta ещё удобнее

attoparsec быстрее, megaparsec удобнее, хотя по слухам trifecta ещё удобнее

вот только доки у Кметта никакие

https://twitter.com/snoyberg/status/953966138026799105

кто снойману про наши спецолимпиадки рассказал?

Криптоснойманиты в чяте

Моссад

Товарищи, Elm годно?

Товарищи, Elm годно?

Не очень.

Поч?

нет полиморфизма например

система типов неоч

нет полиморфизма например

Это основная проблема.

Лучше чем TS?

система типов неоч

DHM?

Лучше чем TS?

Нельзя так однозначно сравнить. Местами да. Лучше PS

btw @elm_ru

https://twitter.com/snoyberg/status/953966138026799105

https://hackage.haskell.org/package/bytestring-0.10.8.2/docs/Data-ByteString-Builder-Prim.html присоветуйте ему

DHM?

не, я не о выводе типов, я о полиморфизме же

Нельзя так однозначно сравнить. Местами да. Лучше PS

последнее предложение ambiguous

смотря какой критерий годности го вон тоже считают вообще не годным, но кучу годного софта на нем таки запилили

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

Эльм — это язык созданный для того, чтобы мучать хаскеллистов

важной проблема элма имхо является интероп и отсуствие официальных портов (точнее "переосмысливанний") многих частей webapi (тот же localstorage)

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

то что там web platform не покрыт кусками это фигня, где-то портами где-то нативными модулями решается

Не знаю как он для вебчика, но для мучения хаскеллистов очень ОК

смотря какой критерий годности го вон тоже считают вообще не годным, но кучу годного софта на нем таки запилили

кубернетес, что ещё?

ERROR: S client not available

докер, прометеус, кадди, хуго, гогс

а кубернетис годный?

это то что прям ща в голове, так если подумать то софта сильно больше

терпимый

или я не копался глубого

во всяком случае не докер

докер у нас в первый же месяц к кернел паникам привел

(давно было правда)

во всяком случае не докер

как не докер, если там внутри докер

сам софт вокруг поприятнее

кто-нибудь tapl прорешивал?

дошел до первого упражнения и понял, что нужно прорешать SF, чтобы доказать что-нибудь

SF ?

software foundations

Ни у кого кстати PDF по этому нет?

по кому?

logical foundations?

software foundations?

tappl?

первые 2 с их сайта качаешь или с гита,. последний наверное есть, но оно не свободное

software foundations?

Шитхаб ругается на слишком большой файл

https://softwarefoundations.cis.upenn.edu/lf-current/lf.tgz

@acrawley ^

Спасибо

оно больше упражнения чем книга

внезапно https://github.com/python/mypy

С чего это внезапно то?

Сто лет в обед уже и самой туле mypy и PEP-доке про это дело

платиновый тред! сенсация! обнаружена типизация в питоне! пруфлинк: https://github.com/python/mypy

платиновый тред! сенсация! обнаружена типизация в питоне! пруфлинк: https://github.com/python/mypy

Ну-к?

mypy еще деды писали, лол

Товарищи, Elm годно?

http://reasonablypolymorphic.com/blog/elm-is-wrong