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

могу в личку скинуть, если тут нельзя пиратить)

был бы рад

с http://haskellbook.com/

Несколько вопросов) Эта книга самодостаточна? Или посли неё можно читать другое? А чем не подходят мною указанные книги (это не сказано как "в укор", просто интересно мнение)?

Несколько вопросов) Эта книга самодостаточна? Или посли неё можно читать другое? А чем не подходят мною указанные книги (это не сказано как "в укор", просто интересно мнение)?

learn you уже очень стара, а тут есть и база, и CT, и можно в реальные проекты

Всем добрый вечер! Подскажите пожалуйста, с чего лучше начать знакомство с Haskell, "О Хаскелл по-человечески" или "Learn you a Haskell for a great good" и как эти книги соотносятся между собой?

А ещё есть чат @haskell_learn , там можно подробнее спрашивать вопросы

learn you уже очень стара, а тут есть и база, и CT, и можно в реальные проекты

а что такое CT?

а что такое CT?

теория категорий

А ещё есть чат @haskell_learn , там можно подробнее спрашивать вопросы

спасибо!

а что такое CT?

Category Theory, теоркат

А ещё есть чат @haskell_learn , там можно подробнее спрашивать вопросы

он для нубов?

Category Theory, теоркат

ох уж это сокращение, стал часто путать с теорией катастроф :/

он для нубов?

Ну по мере сил старается быть для начинающих

он для нубов?

я чаще стал замечать, что haskell_learn для haskell'а, а этот для флуда)))

Там более жёсткие правила: запрет на переусложнённые темы, оффтоп

я чаще стал замечать, что haskell_learn для haskell'а, а этот для флуда)))

с питончатами аналогичная ситуация

А ещё есть чат @haskell_learn , там можно подробнее спрашивать вопросы

там все еще глупые правила 😩

Почему глупые? Нормальные

learn you уже очень стара, а тут есть и база, и CT, и можно в реальные проекты

для нуля подойдет?

learn you уже очень стара, а тут есть и база, и CT, и можно в реальные проекты

в learn you тоже ct есть (отдаленно), да и для начальных этапов ct не нужна, так что спокойной можно брать эту книгу в качестве первой

так то по CT есть отдельная книга без смс, примеры на хачкеле: https://github.com/hmemcpy/milewski-ctfp-pdf/releases/download/v0.4.1/category-theory-for-programmers.pdf

и самый кайф – видеолекции к ней https://www.youtube.com/watch?v=O2lZkr-aAqk&list=PLGtm7trCCklGuwdTT6Ep7PPBnXTYFHBCX&index=2 там прям плейлист с сабами на русском (но лучше без них смотреть :))

так то по CT есть отдельная книга без смс, примеры на хачкеле: https://github.com/hmemcpy/milewski-ctfp-pdf/releases/download/v0.4.1/category-theory-for-programmers.pdf

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

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

почему вы пишите category theory, а не теория категорий? в чём смысл заменять русский на английский даже когда это не имеет смысла?

неа

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

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

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

прошу прощения, а насколько 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?

да

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

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

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

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

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

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

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

Ок, спасибо

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