A
Писать формальные доказательства без знаний математики, серьезно?
Использовать функторы/монады без знания теории категорий, серьезно?
Size: a a a
2020 May 07
ЕР
Использовать функторы/монады без знания теории категорий, серьезно?
Они простые
ЕР
Использовать функторы/монады без знания теории категорий, серьезно?
У Идриса даже документация ссылается на академичечкие публикации
A
У Идриса даже документация ссылается на академичечкие публикации
Как будто по хаскеллю пейперов нет
ЕР
Как будто по хаскеллю пейперов нет
Ну когда-нибудь и завтипы разовьются до того что можно будет их использовать без знания стоящей за ними теории
DT
А если мы возьмём класс в практически любом языке программирования и заставим забыть что это класс - окажется что это сишный struct:)
AK
А если мы возьмём класс в практически любом языке программирования и заставим забыть что это класс - окажется что это сишный struct:)
нука как забыть класс в java/php?)
DT
Переписать vm и скомпилировать
DT
но смысл в том, что всё сколько нибудь сложное в этом мире состоит или основыывается на очень простых вещах и немного метаданных)
AM
А если мы возьмём класс в практически любом языке программирования и заставим забыть что это класс - окажется что это сишный struct:)
А структ - это запись, а запись - кортеж. Всё кортеж!
AM
нука как забыть класс в java/php?)
В пыхе можно кастовать в массив, если я не ошибаюсь
AM
Видел когда-то
AK
В пыхе можно кастовать в массив, если я не ошибаюсь
условно
AK
не любой объект скастуешь нормально
AM
не любой объект скастуешь нормально
Да, там тыща исключений и неочевидных повелений
ЕР
Александр Морозов
странный вопрос, но все же:
тут никто не выбирал кондиционер для дома?
тут никто не выбирал кондиционер для дома?
Выбрал в итоге?