AV
т.е. когда ты сталкиваешсья с системой типов, которые ничего не покрывают и не помогают, то потом динамика может быть глотком воздух
Size: a a a
2018 February 26
АГ
Александр - тут все хаскелисты (кроме тебя) опусткаются до неподобающих приемов ведеия дискуссии имхо
Вы к какому Александру сейчас?
AV
выше мотни
я спрашивал тебя про ситуацию, когда система типов не натягивается. какие действия ты будешь делать?
я спрашивал тебя про ситуацию, когда система типов не натягивается. какие действия ты будешь делать?
слишком много текста, можешь дать линк, ве же
λO
Александр - тут все хаскелисты (кроме тебя) опусткаются до неподобающих приемов ведеия дискуссии имхо
например ссылками на пейперы
Aq
быть хаскелистом уже преступление, не оправдывайте @qnikst
n
слишком много текста, можешь дать линк, ве же
я вопрос продублировал
AI
Вы к какому Александру сейчас?
Из сообщения вроде очевидно, что не к вам
Aq
выше мотни
я спрашивал тебя про ситуацию, когда система типов не натягивается. какие действия ты будешь делать?
я спрашивал тебя про ситуацию, когда система типов не натягивается. какие действия ты будешь делать?
если система типов не натягивается, значит обнаружена ошибка, для того система типов и есть
AV
я вопрос продублировал
> в динамике это обходится за счёт большей гибкости
AV
я вижу эту фразу по ней искать?
Aq
да, поиск ошибок консервативный, но оно того стоит
AI
быть хаскелистом уже преступление, не оправдывайте @qnikst
мы так и не выяснили кто такой хаскелист. И почему тот же Алексей Пирогов причислен к ним, а некоторые другиенет, например )
AV
Александр - тут все хаскелисты (кроме тебя) опусткаются до неподобающих приемов ведеия дискуссии имхо
я не знаю как я сдерживаюсь, если честно
АГ
Из сообщения вроде очевидно, что не к вам
Тогда хотелось бы узнать, к каким неправомерным аргументам спустился я.
Aq
мы так и не выяснили кто такой хаскелист. И почему тот же Алексей Пирогов причислен к ним, а некоторые другиенет, например )
Пишет на работе на хаскеле - вот и хаскелист
AV
мы так и не выяснили кто такой хаскелист. И почему тот же Алексей Пирогов причислен к ним, а некоторые другиенет, например )
у меня есть 2 предположения: а. тот кто работает на этом языке б. тот кто отстаивает мнение, что этот язык это хорошо
AV
Алексей подходит по обоим
AI
Пишет на работе на хаскеле - вот и хаскелист
Вы уже на Хаскеле начали работать? Был же Фшарп
AI
Я отстаиваю мнение - что Хаскель - это хорошо и вообще волшебный язык