я любил бойлерплейт еще до того как это стало модно

Бойлерплейт это потенциал к улучшению.

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

вот там весь ад с мейби про который хикки говорил открывается

уже и программные статьи выходят. Не любите писать много скучного кода руками? А надо любить.

бойлерплейт лучше корявых абстракций

даже и это сомнительно

он проще рефакторится как правило

он на то и бойлерплейт что он тупой и его много

уже и программные статьи выходят. Не любите писать много скучного кода руками? А надо любить.

Какие?

но писать на языке без абстракций печально

а абстракции через тонны бойлерплейта

Это влияние гоферов, что ли?

Вопрос. В хаски есть подобие идрисового cast, который конвертит что-нибудь во что-нибудь?

бойлерплейт лучше корявых абстракций

эта дорожка ведет к го... )

Вопрос. В хаски есть подобие идрисового cast, который конвертит что-нибудь во что-нибудь?

Легко сделать

Енто понятно, но меня готовый интересует

эта дорожка ведет к го... )

я не пропагандирую языки, в которых это единственный путь

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

@A64m_qb0 ну все, мы знамениты

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

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

@A64m_qb0 ну все, мы знамениты

По телевизору показывают

@A64m_qb0 ну все, мы знамениты

а? что?

Вопрос. В хаски есть подобие идрисового cast, который конвертит что-нибудь во что-нибудь?

смотря что и во что

Чат спалили. Критикуют наше мнение что лисп не фп

лисперы критикуют?

хаскель －ооп

дык разве лисп - фп

смотря что и во что

Из Integral a в Num b, из String в Read a, из Show a в String, всякое такое

дык разве лисп - фп

некоторые считают что каноничное

и вообще

не мешайте типы и функционалку

типы отдельно, функциональная парадигма отдельно

Из Integral a в Num b, из String в Read a, из Show a в String, всякое такое

Нет, но можно написать при желании. А в идрисе он далеко не всегда безопасный.

лисперы критикуют?

@bravit111 критикует

Из Integral a в Num b, из String в Read a, из Show a в String, всякое такое

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

Енто понятно, но меня готовый интересует

^

А ским ФП?

ФС

ским процедурный же

а КЛ фп?

нет

и даже не ФС

А кложа?

ФС

А что минс С?

нет

Но чому? Вроде комбинировать комбинаторы легко...

а С фп?

А что минс С?

скриптота?

с указателелями на функции

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

Функциональные писания

некоторые считают что каноничное

лисп не был основан на ЛИ, изначально, потом пофиксили

ибо автор не осилил

МакКарти?

+

он жи гений, не?

все гений

что не Расмуссен

У ФЯ вычислительная модель должна быть соответствующей, как у хаскеля. И си тут не подходит

почему ленивость ＝функциональность?

почему ленивость ＝функциональность?

Потому что бесконечные списки без ленивости не делаются

Потому что бесконечные списки без ленивости не делаются

Бесконечные списки делаются при любой редукции, достигающей weak normal form

Фп радикалы какие-то в чате!

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

Фп радикалы какие-то в чате!

+

ФП это баззорд, успокойтесь

Как девопс

А что минс С?

функциональное скриптование

Но чому? Вроде комбинировать комбинаторы легко...

тяжело

Можно пример тяжести? (с лиспами мало дела имел)

мне лень

Чат спалили. Критикуют наше мнение что лисп не фп

так где критикуют-то

мне лень

Это всё от хаскеля

хаскель от этого

Ну вот тут, в биокаде. Мне пришлось краснеть за двоих. При том что я не такой уж радикал

Ну вот тут, в биокаде. Мне пришлось краснеть за двоих. При том что я не такой уж радикал

т.е. человек, который считает лисп ФЯ может найти работу? невероятно

красней уж за всех, а не за двоих

т.е. человек, который считает лисп ФЯ может найти работу? невероятно

да, на JS

т.е. человек, который считает лисп ФЯ может найти работу? невероятно

Воувоу, полегче.

или это не биокадовец а какой-то приблудный лиспер заглянул на лекцию?

Этож @bravit111

или это не биокадовец а какой-то приблудный лиспер заглянул на лекцию?

напомнило рассказ про Мандрюшу

что-то реальный прототип этого персонажа пропал кудато

@A64m_qb0 а зачем делали Хаскель когда была Миранда?

Чтобы написать книжку как написать цомпилятор ФЯ

да, на JS

Тут нужно ответить, что это не работа, а мучение

Чтобы написать книжку как написать цомпилятор ФЯ

чтоб книжку написать SML делали

чтоб книжку написать SML делали

haskell too

haskell too

нет

Есть мнение что Тёрнер денег хотел

какие там книжки издали?

У меня даже есть эта книжка

Есть мнение что Тёрнер денег хотел

почему "мнение"? Миранда продавалась за деньги

У меня даже есть эта книжка

она не про хаскель же