R
А я все намереваюсь написать ЯП вообще без типов
Size: a a a
2020 April 10
L
А я все намереваюсь написать ЯП вообще без типов
JS
R
Нет, вообще без типов, а не с динамической типизацией
L
Нет, вообще без типов, а не с динамической типизацией
B?
L
Ну или совсем ранний C
R
Не, там чиселки есть
ВМ
в брейнфаке?
R
Ну и в брейнфаке они есть
R
R
И регистры
R
Это все не то
L
А для чего? Или просто по фану?
ВМ
тебе нужна для начала не фоннеймановская машина, нужно сначала сделать такую машину
R
Просто как PoC
R
Ладно. Если по-честному, то там как бы есть типы, но они не как типы - пользователь их не видит и не определяет
L
Вообще настоящие программисты пишут на бумаге
ВМ
Настоящие программисты используют ДРАКОН
R
Идея такая:
Пользователь пишет только выражения состоящие из атомов и кортежей как литералов, вызовов функций и биндингов с паттерн-матчингом.
По сути функция есть биндинг с аргументами.
Типы пользователь не определяет, НО
Для любого множества аргументов функции есть множество результатов функции.
Такие множества и есть как бы типы.
То есть если я написал функцию
то "тип"
a тип
Пользователь пишет только выражения состоящие из атомов и кортежей как литералов, вызовов функций и биндингов с паттерн-матчингом.
По сути функция есть биндинг с аргументами.
Типы пользователь не определяет, НО
Для любого множества аргументов функции есть множество результатов функции.
Такие множества и есть как бы типы.
То есть если я написал функцию
let foo a = a + 1то "тип"
foo integer - integer а тип foo 2 - 3a тип
foo "bla" - !