ну так ФП действительно выглядит жалко и костыльно почти везде где заявлется поддержка ФП, и даже там, где она действительно худо-бедно есть, как в хаскеле к примеру, тоже не все радужно в этом смысле.
А где "радужно"?
parket
A64m
нигде
parket
Именно! 😌
Alexander
пусть коллеги читают "банду 4", образовываются
К сожалению, коллеги могут распознать этот паттерн, если только он на интерфейсах построен. Все-таки абстрактное мышление нужно.
Aliester
все в мире плохо
Aliester
а если не плохо, то скоро будет
Aliester
особенно в мире программирования
A64m
Именно! 😌
ну чтоб кого-то привлекать как-то мало быть нерадужными, тем более что к своему адищу люди уже пивыкают, а тут какие-то новые неприятности вырисовываются, к которому их жизнь не готовила
Aliester
скоро мир сгорит в ядером пламени а вы про языки говорите
parket
Очень часто встречаю
- Что за дичь ты тут написал?
- Чё ты пристаёшь, работает же.
Влод
Очень часто встречаю
- Что за дичь ты тут написал?
- Чё ты пристаёшь, работает же.
не ну если код свежий то, такое поведение нигде не котируется
Alexander
Очень часто встречаю
- Что за дичь ты тут написал?
- Чё ты пристаёшь, работает же.
Тут два плохих момента: вопрос с наездом и защитная реакция вместо исчерпывающего ответа. В ситуации код может быть действительно дичью, а может быть хорошим и правильным, но непривычным вопрошающему.
Влод
всё равно фигня
Влод
ну если вас там двое всего то ок
parket
Тут два плохих момента: вопрос с наездом и защитная реакция вместо исчерпывающего ответа. В ситуации код может быть действительно дичью, а может быть хорошим и правильным, но непривычным вопрошающему.
Надуманный пример. Но суть в том, что явно можно было написать красивее и понятнее, как минимум, но и так сойдёт, работает же.
parket
Т.е. достаточный критерий - работоспособность.
Leonid 🦇
JS-дева, JS-рак и другие знаки зодиака
Andrey
Да не говорите, девочки - мы же с вами самые умные!
Aliester
записываемся на морфизмы
Andrei
Очень часто встречаю
- Что за дичь ты тут написал?
- Чё ты пристаёшь, работает же.
Вон из профессии, сразу
Alexander
Опять же, из реальной практики. Был код (С++) который строит структуру данных по другой структуре. И построители хоть однотипные, но разные, и появляются новые в ходе эволюции программы. В императивном виде новые обработчики добавлять довольно муторно, слишком много всякой синтаксической мишуры с итераторами, хотя сам код DRY. Я немного отрефакторил код, перевел императивщину на программирование данными, все по классике: интерпретация отдельно, программирование данными отдельно. И кода в сумме стало в пару раз меньше, а самое главное, добавлять новые обработчики стало просто, как пальцами щелкнуть. Не нужно даже знать, как потом эта машинерия будет работать. Да вот беда, я завернул обработчики в лямбды, а тим лид такого не любил. Он очень долго ругался и плевался, но так как код действительно стал лучше, он так и не убедил команду вернуть прошлый вариант.
Дима
Тимлиду просто надо свыкнуться с мыслью что он иногда бывает не прав
Alexander
Таких тимлидов я пока еще не встречал. Точнее, они признавали, что бывают неправы, когда косяк уже произошел, и его последствия скрыть не удалось (а таким они тоже занимались). Но чтобы в ходе работы они это признавали, и соглашались на то, что им непонятно, - такого не видел
sherzod
Alexander
Там вверху знак масонов?
Leonid 🦇
Самоё смешное это что вызов рабочего кода через пять функции, каждая виртуальная с х.з. какой реализацией им понятно, а сраная анонимная функция с замыканием это сложнаааа
A64m
Да не говорите, девочки - мы же с вами самые умные!
мы как раз тупые, для умных есть скрипты, там все в уме держать надо
Alexandr
за пересдающими студентами которые четверо подряд одно и то же сдают
Leonid 🦇
мы как раз тупые, для умных есть скрипты, там все в уме держать надо
Тайп тетрис - путь к победе
Leonid 🦇
за пересдающими студентами которые четверо подряд одно и то же сдают
Херня, мы теорвер всем курсом сдавали один и тот же. Препод был совсем аутист, и все принял. Но вообще стыдно конечно. Его держали на кафедре то-ли за какие-то науч работы, то-ли просто за копейки работал.
Alexandr
я же не ошибся чатом? тут твиттер Брагилевского обсуждают?
Leonid 🦇
Да
Leonid 🦇
@qnikst чо завтра то приедешь? ITGM? Серокелл?
Alexander
на серокел скорее да, чем нет
Alexander
на ITGM скорее нет, чем да
Leonid 🦇
Там пропадает 3 часа от хорошего доклада на ITGM и до Серокелл :(
Alexander
я подумаю ещё
Alexander
к вечеру точно напишу
kosc
Leonid 🦇
Прагматичные зависимые типы для прагматичных программистовВ докладе будет рассмотрено применение зависимых типов не столько для верификации, сколько для решения прикладных проблем программирования, в частности с использованием языка Idris.
т.е. Не только Vec
Aλeχ
Leonid 🦇
Не знаю
Leonid 🦇
Можно конечно про /proc послушать у красноглазых
Aliester
Hermann
Hi :)
Hermann
Anyone speak eng ???
Andrew
Hello
Andrew
I think that all :)
Hermann
😊
Hermann
Im New in haskell
Hermann
How learn it ??
кана
@haskell_learn then
and http://learnyouahaskell.com
Denis
Write Hello World
Denis
Good start!
Hermann
Haskell is an other word :(
Cheese
кана
а есть ли вообще в телеге хаскельные чаты не русскоязычные?
Andrii
https://t.me/haskell_learn but it's for Russian community... Maybe better idea use some English community for that ?
Andrew
Я вообще удивлен, что хаскелистов так мало в мире
кана
https://fpchat-invite.herokuapp.com
Denis
нас мало, но мы в тельняшках!
Alexander
Я вообще удивлен, что хаскелистов так мало в мире
Хаскеллистов довольно много. Ряд топовых плюсовиков любят хаскель
Hermann
Thanks guys :)
Alexander
How learn it ??
To me, learning Haskell is not that different than learning anything else. The key is to practice it having small goals in mind. You probably dont want to grok monads right in the beginning, but you rather need to build a good sense of functions as first class objects. So playing with functions would be a good thing to start from
Anonymous
The only question is "why to learn haskell". I would kinda argue that it's the final answer for all the questions
Alexander
The answer is quite simple: because why not. Leaning Haskell can be considered a mind game, an intellect journey. Some people do need a such activity