Aliester
>с типами так же удобно как на Джаве
lolwut?
Andrey
да проходили уже, не будем повторяться
Alexander
почему они не победят можно понять хотя бы по формулировкам
Alexander
в любом случае что значит "победят" это же работа на аудиторию
Dmitry
Alexander
ааааа
Alexander
не напоминай
Andrey
формулировкам чего? ну вот я и говорю про нужные слова ) например, я знаю такие слова про Джаву - и могу убедить себя и себе подобных, что там есть удобная бесплатная опциональная типизация. Про Хаскель я таких слов не знаю )
Alexander
я застал жаву без дженериков
Alexander
я не знаю как ты можешь себя убедить учитывая, что в java нету опциональной типизации
Aliester
джава без дженериков - тормозной го
Alexander
есть Object + костыль в виде reflection конечно
Alexander
но называть это опциональной типизацией я бы не стал
Alexander
особенно учитывая то, что там есть типы, не явлающиейся object
Aliester
ломбок, кек
Andrey
ну обсуждали же уже ) а я стал - и меня это убеждает
kosc
Язык лучшей практики по созданию абстрактных фабрик для абстрактных фабрик.
Andrey
Несколько базовых типов можно потерпеть - в динамических языках ровно то же самое
Andrey
вот прямо один в один
Влод
ну обсуждали же уже ) а я стал - и меня это убеждает
так а погоди
джава для динамистов как раз же здравый аргумент что статика плохо
разве нет?
Alexander
@IIvana считает java разумным компромисом
Andrey
я не знаю о каких динамистах вы говорите, но мне в джаве норм потому что все Объект
Alexander
НЕ ВСЁ!!!!
Alexander
В JAVA НЕ ВСЕ ЭТО ОБЪЕКТ!
Alexander
int - не объект
Andrey
все ) что не объект - боксится
Andrey
ну и я не про Смоллток где рыли ВСЕ )
Alexander
тебе пришли байты нетипизированные ты не можешь из взять и забоксить
Aliester
конечно
Aliester
байт арей тоже боксовать можно
Aliester
не напоминайте об IO в джаве
Alexander
ну забоксить то сможешь, но узнать что это был int - нет
Aliester
помойка многословия
Alexander
так же не можешь как в динамике сделать exhaustive match по объекту
Andrey
да это не та проблема, которую создают типы
Alexander
а ещё тебя java программисты за даункастнг побьют если поймают
Aliester
даункастинг это курсы по жс с гарантированным трудоустройтсвом лучших студентов
Alexander
т.е. говорить что reflection + object это динамика это странно
Andrey
ну мало ли у кого какие религиозные предубеждения. я вот даункасчу и жив
Alexander
тогда и Typeable это тоже динамика
Alexander
а Typeable есть у всего
Слава
Alexander
ура Haskell динамический ЯП!
Andrey
нет, иерархия+кастинг это достаточная степень динамичности
Andrei
даункастинг это курсы по жс с гарантированным трудоустройтсвом лучших студентов
вести или посещать? это важно.
Alexander
ЭТО НЕ ДИНАМИЧНОСТЬ!
Alexander
это как интерфейсы для какого-то ООП гуру это ООП
Alexander
а ad-hoc полиморфизм это костыль
Andrey
это все слова
Aliester
интерфейсы вообще костыль
Aliester
все - слова, Андрей
Alexander
и ничего, что первое это урезанный вариант второго с плохими свойствами
Andrey
а в реальности в Джаве отличный компромисс как ты писал
Aliester
мы мыслим ярлыками
Alexander
т.е. найдем то, что нравится и обзовём тем что хочется доказать
Andrey
единственный минус - громоздкость связанной иерархии типов
Aliester
в реальности Джава это изощеренное самоубийство Sun
Aliester
и кучу маркетинга
Alexander
это круто, но java никогда не была динамической
Andrey
замени на Сишарп - дело не в Сане
Alexander
С тоже динамический
Andrey
С тем более
Alexander
там можно в gdb подключиться и типы всех рекордов посмотреть
Dmitry
а кто-то умеет в
Text.Pandoc.Builder
?
Alexander
@mmkrp ?
Andrey
я начал с того, что важно найти правильные слова и аргументы
Aliester
PL/1 динамический
Alexander
хорошо бы, чтобы правильные слова соотносились с учебниками и теорией как-то
Alexander
в любом случае то. что динамика выражается в статике - никого не убеждает
Andrey
и меня мои слова про Джаву отлично убеждают что это удобный динамический ЯП с опциональной типизацией любого уровня детальности
Alexander
я ещё раз повторюсь что рефлексия и даже checked casting это не динамика
Aliester
вы еще его скриптовым назоваите
Alexander
т.к. нету полезных свойств даваемых вторыми
Alexander
хотя в отладке полезно наверное
Andrey
наконец-то конкретный аргумент - какие полезные свойства и чего?