Denis
Ayrat
Denis
я так понял, вопрос в том что не надо сувать F#+ туда куда не надо
Dr. Friedrich
Подумаешь, немножко криптоты :)
Roman
хотя бы уместно используют язык)
Ayrat
Просто 9 из 10 хаскелистов пилят крипту
Dr. Friedrich
Ayrat
И 9 из 10 это не относительные числа!
Denis
в прагматичный код 🙃
Roman
TOV_MULTIMASSO
Давно годится, дело в отношении к языку
Dr. Friedrich
Ayrat
Dr. Friedrich
Супер говняно, скорее
Ayrat
Учитывая что фпарсек из хаскеля
Dr. Friedrich
Когда делаешь что-то нетривиальное
Ayrat
Roman
Я говорю.
в конце концов, крипта когда-нить придет в массы и это будет удобней, чем обычное бабло
Dr. Friedrich
А мне нравится
Ну я согласен с утверждением, что лепка из кала очень успокаивает.
Ayrat
Dr. Friedrich
Vasily
Dr. Friedrich
А от крипты я удобства не вижу.
Dr. Friedrich
Где добро, где любовь к ближнему и вот это всё?
Dr. Friedrich
Там по большей части воровство и спекуляции.
Dr. Friedrich
(не утверждаю, что везде)
Ayrat
Ayrat
Например валидация лекарств
Roman
да ето понятно
Roman
я сам чуть не вписался в блокчейн проект недавно)
Ayrat
Видал такой стартап, зауважал, хоть кто-то пытается миру помочь
Denis
А потом токенизируешь и выходишь на ico
Roman
но я не готов сраться на эту тему тут
TOV_MULTIMASSO
Ayrat
TOV_MULTIMASSO
Если только это не Proof of Stake, где вся Stake у государства
Denis
Люди овертайм надежнее чем любой код в котором есть баги
Denis
(Имхо)
TOV_MULTIMASSO
Судя по https://t.me/vshapenko_builders, computational expressions тут тоже не в почёте
Roman
Люди овертайм надежнее чем любой код в котором есть баги
неожиданный вывод. Люди надежней, чем средний код на жаваскрипте — это факт. Но отдрочить кусок кода на более подходящем для этого языке (тот же хаскель или даже идрис какой) проще, а точнее, возможно, в отличие от достижения того же уровня надежности с помощью кожаных мешков
Roman
Ayrat
Dr. Friedrich
TOV_MULTIMASSO
Я бы сказал, что сторого типированный код > люди, если игнорировать возможные закладки в алгоритмах хешей и шифрования
Ayrat
fsharp-presentations/ces-compared.md at master · dsyme/fsharp-presentations
https://github.com/dsyme/fsharp-presentations/blob/master/design-notes/ces-compared.md
Dr. Friedrich
TOV_MULTIMASSO
Читаю. Помню, как у меня пригорало с For, но я как-то нашёл способ сделать из него аналог хаскельного forM
Ayrat
Ayrat
Но я бы не стал
TOV_MULTIMASSO
Благо препроцессору этих выражений не интересно, с какими параметрами эти методы заявлены
Ayrat
Но я люблю билдеры. Одна из самых лучших фич фшарпа
TOV_MULTIMASSO
Согласен. Правда, в отсутствие типов высоких порядков (что не позволяет писать трансформеры билдеров) всё равно придётся более или менее нетривиальный билдер намазывать руками. А не просто накидать StateT, ReaderT, ExceptT или взять какую-нибудь систему эффектов
Ayrat
И Сайм их постоянно допиливает.
match! Сделал, щас вот and! Пилит, оптимизацию на map >> return, генерацию стейт машин
TOV_MULTIMASSO
О, вот это прекрасно
Ayrat
Да, Сайм любит билдеры и нам велел. Кто мы такие чтобы ослушаться
TOV_MULTIMASSO
Но он пытается inherently extensible классы из хаскелля запихать в препроцессор, который если и расширяется - то я лично не смог в кастомные методы
Диёр
Диёр
Диёр
А могли бы стдлиб пилить и для веба что-нибудь
TOV_MULTIMASSO
Есть warp (вебсервер) и servant. Последний позволяет описать API как тип, а потом импортировать его раздельно в клиент и сервер. И в случае клиента сгенерировать все функции для запросов по этому API. Сойдёт?
Диёр
Нет
Диёр
Если ты не можешь без ебли написать за 5 минут рестапи с авторизацией и крудом, то всё грустно
TOV_MULTIMASSO
https://github.com/Gabriel439/servant-crud/
TOV_MULTIMASSO
клиент и сервер в ./exec/
Диёр
А где авторизация там, базы?
TOV_MULTIMASSO
https://github.com/haskell-servant/servant-auth#readme
TOV_MULTIMASSO
https://hackage.haskell.org/package/esqueleto-3.3.1/docs/Database-Esqueleto.html
TOV_MULTIMASSO
https://github.com/tathougies/beam