naive typing ©

[wizzard]

тем временем я все более и более прихожу к выводу что наличие массивов в языке как встроенных типов, а не библиотеки, есть жуткая ересь

Comments

[dark-aurel.livejournal.com]

легче работать с таким, когда всякие множества-очереди-стеки-хешмапы-массивы-двусвязные списки-сортировки отделены от внутренностей транслятора

Всё-равно не вижу противоречия. Как изменится реализация от множеств-очереди-etc в зависимости от наличия/отсутствия встроенного типа "массив" (кстати, если будет встроенный список -- тоже нормально)?

Понятно, что наличие такого встроенного типа несколько усложняет транслятор. Но есть мнение что профит от краткого синтаксиса оказажется более весомым, нежели это усложнение.

(with-troll-mode (:fat t)
Хотя в правильных языках мы всегда можем добавить нужную нам языковую конструкцию средствами самого языка... )

[wizzard]

я вообще так далеко не заходил и имел в виду то, что массивы, обычно, это единственный "особенный" тип данных, ака тип с параметрическим полиморфизмом. реализованный как-то сбоку и криво. И еще часто под них забивают спец-операторы вроде квадратных скобок, что все потом очень раздражает т.к. нарушает единообразность системы типов и понятий языка.

[thedeemon.livejournal.com]

А можно примеров таких языков?

[nponeccop.livejournal.com]

lisp, erlang

[thedeemon.livejournal.com]

И в них массивы - "это единственный "особенный" тип данных, ака тип с параметрическим полиморфизмом"?

[nponeccop.livejournal.com]

наоборот - в них массивы реализуются библиотекой и не имеют встроенного синтаксиса. Все остальные языки - языки, в которых массивы - "особенный" тип. Скажем, в традиционных алголообразах есть два особенных типа - структура и массив.

[thedeemon.livejournal.com]

Вот я и просил примеры языков, где массивы - "это единственный "особенный" тип данных". Я таких не знаю. Не вижу, чем массив в этом аспекте отличается от, например, ссылки (полиморфизм присутствует, спец синтаксис тоже). А нередко кроме массивов есть встроенные в язык хэши и списки.

[wizzard]

Ссылки с адресной арифметикой - это и есть пример спец. типа данных. Я, возможно, зря сказал, что "единственный"

Просто смущает, когда у иерархии типов несколько вершин.

Патологический случай - Java, например :) (все value-типы - не обьекты)

В C# вот массивы - это "отдельный" тип данных (там есть concrete types, generic types и arrays)

В питоне списки отдельный тип, но при этом они не претендуют на особое место в системе типов, а вот old-style классы - претендуют.