AE
да вы тут предлагаете в япах с номинативной типизацией глобально ввести структурную
Иногда бывает так, что лишние интерфейсы и лишние наследования не очень
Size: a a a
2020 July 25
IO
Иногда бывает так, что лишние интерфейсы и лишние наследования не очень
иногда не значит, что надо ломать всю систему типов и концепцию, как люди пишут код
AN
Иногда бывает так, что лишние интерфейсы и лишние наследования не очень
В общем, это интересно, но оно должно быть сильно ограничено, разумеется
IO
Иногда бывает так, что лишние интерфейсы и лишние наследования не очень
если такой keep вылетит, я пойду в committee с челобитной: "не надо"
AN
иногда не значит, что надо ломать всю систему типов и концепцию, как люди пишут код
Почему ломать. Ты просто говоришь, что ты локально выключаешь проверки. Такой unsafe режим
AN
На самом деле в смысле типов ничего не ломается. Просто создается специальный тип, который наследует все остальные типы как Nothing, но при этом может быть инстанцирован
IO
Почему ломать. Ты просто говоришь, что ты локально выключаешь проверки. Такой unsafe режим
да, но утиные интерфейсы не могут присутствовать на джвм, тк checkcast не пройдет к обычному. это выпадет из интеропа, либо выродится в рефлексию
AN
да, но утиные интерфейсы не могут присутствовать на джвм, тк checkcast не пройдет к обычному. это выпадет из интеропа, либо выродится в рефлексию
Могут, посмотри на груви
AN
Все отлично работает
IO
Могут, посмотри на груви
AE
Почему ломать. Ты просто говоришь, что ты локально выключаешь проверки. Такой unsafe режим
Почему отключаешь то? Ты у переменной-параметра указываешь интерфейс, который аргумент может не реализовать, но иметь такой же набор методов, все будет безопасно проверено в компайле
AN
Почему отключаешь то? Ты у переменной-параметра указываешь интерфейс, который аргумент может не реализовать, но иметь такой же набор методов, все будет безопасно проверено в компайле
Ну это уже не совсем утиная типизация. Вот это довольно сложно сделать
AE
да, но утиные интерфейсы не могут присутствовать на джвм, тк checkcast не пройдет к обычному. это выпадет из интеропа, либо выродится в рефлексию
Потому их надо сначала в jvm
AE
Могут, посмотри на груви
Плохой пример
IO
кстати. идея языка - компилировать все типы в туплы, а все вызовы методов делать статическими 😈
AN
Плохой пример
Почему плохой? Вы использовали груви за пределами градла?
AN
кстати. идея языка - компилировать все типы в туплы, а все вызовы методов делать статическими 😈
лисп
IO
лисп
да, но в jvm и с нормальным синтакисом
AE
Ну это уже не совсем утиная типизация. Вот это довольно сложно сделать
Это как раз она и есть
IO
лисп
не кложнутым