Oℕ
было изначально better java от одного из авторов java
одерски не был автором Java, либо Wadler Тоже был автором жавы, ведь он тоже generic java писал
Size: a a a
2021 March 04
M
никогда не было
Одерски изначально начал всю херню по мотивам своей работы над дженериками в джаве, не?
Oℕ
было изначально better java от одного из авторов java
Одерски всегда разрабатывал свои языки, с 90-х он занимался конфлюктер сайенсом и ФП
Oℕ
Одерски изначально начал всю херню по мотивам своей работы над дженериками в джаве, не?
я ответил, у него была не работа над женериками в жаве, а "ФП язык на JVM", generic java Тоже был просто отдельный язык, его вмержили чудом, потому что sun ещё очень либеральный был, тремя годами позже не вмержили бы уже
w
я ответил, у него была не работа над женериками в жаве, а "ФП язык на JVM", generic java Тоже был просто отдельный язык, его вмержили чудом, потому что sun ещё очень либеральный был, тремя годами позже не вмержили бы уже
хахаха, да мне вообще похуй
Oℕ
и никогда не было бы дженериков ни в джаве, ни в сишарпе, ни в котлине
Oℕ
все считали бы их ФП причудой, как монады и тайплевел
Oℕ
я пока на другую тему общаюсь, как договорю, может быть на эту поговорим
M
я ответил, у него была не работа над женериками в жаве, а "ФП язык на JVM", generic java Тоже был просто отдельный язык, его вмержили чудом, потому что sun ещё очень либеральный был, тремя годами позже не вмержили бы уже
ФП в каком смысле?
Лямбды и иммутабельные данные?
Лямбды и иммутабельные данные?
M
и никогда не было бы дженериков ни в джаве, ни в сишарпе, ни в котлине
в цпп уже были
Oℕ
в цпп уже были
не было
Oℕ
ФП в каком смысле?
Лямбды и иммутабельные данные?
Лямбды и иммутабельные данные?
нет в смысле ФП, которое было примерно всем понятно как выглядит в 90-х, после 15 лет существования ML
Oℕ
полиморфные функции, индуктивные данные, выразительные системы типов
M
не было
темплейты это 90-е
Oℕ
в цпп были шаблоны, которые симулировали полиморфизм, примерно так же, как те же виртуальные методы симулировали ООП, но только виртуальные методы хоть как-то довели до ума
Oℕ
темплейты это 90-е
да, только это не полиморфизм
Oℕ
И да, то что в C++ пытались симулировать полиморфизм демонстрирует, что страуструп сам по себе тем ещё академиком был и в курсе был того, что языку примерно нужно
Oℕ
Просто были академики посильнее, тот же Одерски
Oℕ
Который в 90-х папиры про линейные типы писал
Oℕ
Но к счастью для нас всех из кринжовых увлечений копьютер сайнтистов того времени увлёкся не завтипами и не линейными типами, а субтайпингом