Oℕ
нет
Size: a a a
2020 May 23
AA
а умные ли люди пишут на нём
наверное, видел недавно интервью на ютубе, где ее перечислял скалист в числе прочих своих интересов
Oℕ
Роман продолжает делать вид, что кого-то интересует, какой завтип язык ему больше нравится
Oℕ
наверное, видел недавно интервью на ютубе, где ее перечислял скалист в числе прочих своих интересов
Я видел одно, где чел оговорился, что зря её упомянул
DF
Ахахах
AA
Я видел одно, где чел оговорился, что зря её упомянул
да, помню что-то такое, потому и "наверное"
R
Роман продолжает делать вид, что кого-то интересует, какой завтип язык ему больше нравится
ноуп, я просто доказываю вам, что вы ничего не панимаити, где и как долен происходить вывод типов
Oℕ
ноуп, я просто доказываю вам, что вы ничего не панимаити, где и как долен происходить вывод типов
я не спорю, не нипанимаю
R
я не спорю, не нипанимаю
одно другого не исключает
Oℕ
Но я и не сторонник вывода типов, я ж скалист
Oℕ
Просто имел неосторожность на один всего вопрос попробовать ответить, а вы как-то на меня переключились, будто изначально со мной спорили
AG
а я уже не помню. Я помню, что я читал, что там какие-то вещи нельзя делать и думал "ну уж лучше неудобные некумулятивные вселенные в агде, чем это"
какие, интересно?
Oℕ
Спорьте с инферофилами
AA
вы с большим энтузиазмом эту тему взялис обсуждать просто, я-то тут УЖЕ ДЛЯ СЕБЯ ВСЕ РЕШИЛ
R
Просто имел неосторожность на один всего вопрос попробовать ответить, а вы как-то на меня переключились, будто изначально со мной спорили
ну это был такой вопрос, ответ на который подразумевал дальнейшее продолжение развернутой дискуссии
AG
Oℕ
ну это был такой вопрос, ответ на который подразумевал дальнейшее продолжение развернутой дискуссии
не подразумевал, просто может быть вам очень хотелось, чтобы подразумевал
R
не подразумевал, просто может быть вам очень хотелось, чтобы подразумевал
подразумевал, поскольку как только вы предположили, что тайпчекер должен выводить общие типы, мне следовало было вам (и остальным) показать, что не должен
R
не, я говорил что с ленью там будет все хорошо, но после того как научатся толком работать с ее составляющими, т.е линейностью и кодатой
лень и без них полезна (но с ними еще больше полезна, да)
R
какие, интересно?
не помню. Попробую поискать