denisshevchenko/ohaskell-book

www.ohaskell.guide

Vitalii Elenhaupt

@veelenga

@denisshevchenko удалось прочитать вашу книгу. Очень круто! Теперь Haskell в топ 2 в списке моих любимых языков (на первом Elixir :smile: ). Решив десяток-второй заданий на exercism.io, хотелось бы попробовать свои силы на реальном haskell проэкте. Может посоветуете что-нибуть?

Denis Shevchenko

@denisshevchenko

Приветствую!

@veelenga Взгляните на мой обучающий веб-проектик. Он создан именно с этой целью: дать новичку взглянуть на что-то более сложное, чем Hello World

https://github.com/denisshevchenko/breadu.info

Там расписано абсолютно всё, от структуры проекта до множества комментариев в коде.

Правда, всё на английском...

По сути это очень простой веб-проект, Servant-based, фронтенд генерируется из Haskell (но на простом уровне, никаких ghcjs тут нет).

Vitalii Elenhaupt

@veelenga

@denisshevchenko действительно выглядит интересно. Спасибо :smirk:

Denis Shevchenko

@denisshevchenko

К сожалению, я не успел добавить туда работу с БД (я рассматривал вариант с acid-state), но ничего, сделаю позже.

Roman Valihura

@RomanValihura

@denisshevchenko спасибо Вам за проделаною работу! Книга очень хорошо помогла структурировать знания собраные по всему интернету)
А есть возможно в планах перевод последующих изданий на английский? Очень не привычно читать техничеснкую литературу на русском.
Книга точно будет полезной не только русскоязичному сообществу

Denis Shevchenko

@denisshevchenko

@RomanValihura Благодарю! По поводу перевода на английский... Многие говорили мне об этом же. Однако, насколько я знаю, хорошие книги по Haskell уже и так имеются...

англоязычные

Taras

@221V

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

Denis Shevchenko

@denisshevchenko

@221V Благодарю! У меня есть одна идея, но пока она слишком сырая. Намекну: продолжение будет, но в лучшем виде, нежели можно предположить... ;-)

Denis Shevchenko

@denisshevchenko

https://twitter.com/dshevchenko_biz/status/946022103173779456

Taras

@221V

добрый день!
хочу пожелать еще больше успехов и успешных релизов в этом году!

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

Boris Rozinov

@borisrozinov_twitter

@denisshevchenko "Необходим крестовый поход против сторонников теоретико-категорного толкования Хаскеля — ничего так не вредит распространению языка и развитию его экосистемы, как эта псевдоматематическая лабуда."- Это твит Виталий Брагилевский‏
(@_bravit)

Так что может не такая уж и ошибка

nponeccop

@nponeccop

Ну насчет экосистемы - можно вспомнить постоянные переделки кондуита снойманом, академиев не кончавшим

Так что это спорно, нужно нам больше снойманов или кметтов.

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

Вон @denisshevchenko видимо таки осилил. А неосиливших людей, пытающихся что-то объяснять нам не надо, поскольку получается у них плохо.

nponeccop

@nponeccop

Я бы сказал что наоборот, не хватает высококлассных глубинных введений даже в ленивость. Грубо говоря там две школы мысли: первая говорит что-то в духе "только нормальный порядок является нормализующим!!!111", а вторая "это откладывание через передачу фиктивного аргумента-юнита" и они обе неудовлетворительны - показателем этой неудовлетворительности является например то что idris использует call-by-value

А когда будут нормальные объяснения для умных людей - тогда уже можно из них вырезать ненужное и делать варианты для детей и милиционеров

Taras

@221V

https://cardanodocs.com/cardano/proof-of-stake/

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

или не так?

ну и понятное дело эти узлы должны быть в сети

и не совсем понял как там эти выборы за счет вычислений многими частями

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

потом все получают от всех эти шифры, потом все всем скидают приватные ключи к этим шифрам ?
как-то так я понял

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

прошу поправить где я не так понял, или недопонял, или криво перевел

my english is stupid table ))
благодарямс))

nponeccop

@nponeccop

это форум по аниме?

Taras

@221V

хаскель же))

nponeccop

@nponeccop

http://gitter.im/ruHaskell

Boris Rozinov

@borisrozinov_twitter

@nponeccop "Так что это спорно, нужно нам больше снойманов или кметтов." Нужно больше обоих, а также много других между ними. например Gabriel Gonzalez