эти абстракции позволяют использовать хаскель и понимать как юзать либы, когда видишь монадки, семигруппы и тд, сама теория очень простая, я на русском начинал отсюда http://anton-k.github.io/ru-haskell-book/book/15.html

спасибо!

неа

это-то тут при чём?

фигню крч какую-то написал

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

прошу прощения, а насколько CT нужна для изучения Haskell? Возможно ли хорошо овладеть данным языком без хорошего знания данного раздела математики?

вообще не нужна

насколько нужна дискретная математика и понимание работы процессора для изучения C?

всякие там моноиды и травёрсаблы можно рассматривать так же, как декораторы и фабрики из gof - просто устоявшийся набор слов

насколько нужна дискретная математика и понимание работы процессора для изучения C?

нинасколько, достаточно стандарт прочитать

ну я о том же

чтобы учить хаскель КТ и линейной алгебры например знать не нужно

но такие знания расширяют горизонт

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

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

эффективность разная бывает

ребят, поясните про newtype

как я понял, единственное отличие от data - ленивость

собственно вопрос - зачем она?

в интернетах было пару примеров, когда это вызывало ошибку в момент работы программы, при этом автор статьи оговаривался, что с data этого бы не случилось

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

@azzaazaa https://www.ohaskell.guide/newtype.html вроде понятно написано

про хаскель по-русски ) ок, щас почитаю

@egoarka спасибо

@egoarka кажется там только часть инфы

newtype типы строгие

под ленивостью я понимаю например вот такой случай https://stackoverflow.com/questions/13566673/laziness-strictness-between-data-and-newtype

первый случай грохается из-за undefined

вот второе объяснение там хорошее

с data (data A = B c) у нас есть ⊥ у B c и у c, а с newtype только один ⊥

имеет смысл учитывая как newtype оптимизируется

а неимущим ее можно спиратить где-то?

лучше попросите у авторов скидку

собственно вопрос - зачем она?

ньютайп объявляет тип с точно таким же рантаймовым представлением значений, как и у того, который он оборачивает. Поэтому 1) нет рантаймового оверхеда 2) можно выводить для обертки классы, инстансы которых есть для оборачиваемого типа, кастить между оберткой и оборачиваемым типом бесплатно

Ну да, представление разное, а место в ячейке памяти одно и тоже

почему представление-то разное?

Поддержка пиратства как отличительная черта русскоязычного чатика. Просто кошмар.

Неимущим на компьютер почему-то хватило, а на книжку никак.

Ы) если бы не пираты - любой писатель бы был миллиардером? сорри оффтопик - рассмешили прост

есть ли для хаскелл такой модуль что только объявляешь json модель и оно по ней валидирует (В соответствии с спецификацией) например как в https://github.com/epoberezkin/ajv

http://github.com/typeable/schematic

далеко не всегда тут поддерживают пиратство

и помощь в домашках

совсем распустились!!!11

/me meanwhile добрался до f(by)

Пост в 19:55

я в поезде был без розетки

и с выключенным интернетом

Да понятно

а.. потереть?

Ты уже в space?

да

а.. потереть?

Ну, не знаю, какие тут правила...

тут нету правил, в этом фишка

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

потер, санкций ни к кому не применял

Заметно! Очень коммон

иначе начнут философию разводить

Ок, спасибо

когда перестает быть коммон - укоммониваем

space такой камерный, по сравнению с площадкой фпконф

особенно, когда ещё ни одного участника не пришло

там путь адский

K-мерный?

хаха

там путь адский

Напиши подробнее?

на карте надо Октябрьская 10б (или сам evebt space искать), это напротив велосипедного моста

ERROR: S client not available

там будет зелёный забор, на нем уже повесили табличку про f(by) зелёную А4

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

заходишь в здание

по бумажкам space/fby находишь бесконечную лестницу

поднимаешься на последний вроде (3тий) этаж

не перепутай с полуэтажами

Понял, спасибо!

но сейчас там развесили таблички - будет проще

там лифт раньше работал

lift :: MonadTrans t m => m a -> t m a

:)

Новый виток борьбы stack new now by default creates projects which use hpack, so you'll want to edit package.yaml instead of {projectname}.cabal to add dependencies.

http://github.com/typeable/schematic

ну это я видел, и там тоже можно json схемы хранить? или все через хаскелл?

Новый виток борьбы stack new now by default creates projects which use hpack, so you'll want to edit package.yaml instead of {projectname}.cabal to add dependencies.

Ого

так пора писать stack-to-cabal adapter

зачем?

чтобы кабал инстал использовать проще было

Ты спросил Сноймана про новые замечательные фичи кабала?

@qnikst ^

нет, стесняюсь

Жаль

ну он тут щас в ряду прямо за мной сидит, могу спросить, в принципе, но стесняюсь

для разозлить перед докладом бы все равно не подошло

для разозлить перед докладом бы все равно не подошло

Скажи что-нибудь в духе "А вы уже занимаетесь адаптацией стека к этим новым, замечательным фичам кабала. Всё русское хаскель-комьюнити от них в восторге". Так будет достаточно на разозлить?

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

ещё можно уточнить, почему они формат stack.yaml поменяли и не особо по этому поводу парятся

очень уж внезапно у меня после stack upgrade перестали сборки проходить

foo :: Decrypt ("01dhshbJdgahnahhehabxhkskabdgkabag")

настояще обсуждение "что делает хаскель уникальным" это то, на реддите, про арч и инлайны

Шевченко офигенно выступает конечно

ну это я видел, и там тоже можно json схемы хранить? или все через хаскелл?

из haskell можно выгружать json-schema