T1
makoven
Максимально универсальный язык. Чтобы не ограничивал возможные применения, которые только могут прийти в голову
?
Size: a a a
2021 March 03
T1
ты про свой язык?
H
ну ты конечно загнул
T1
или про какой
H
ты про свой язык?
не, он про гипотетический
T1
не, он про гипотетический
ну типо он такой хочет создать или он такой хочет?
T1
ну типо он такой хочет создать или он такой хочет?
хочет чтобы был
H
ну типо он такой хочет создать или он такой хочет?
я у него спросил какой он язык хочет
m
Почему ты говоришь об этом в плохом ключе?
Разве? Ни в коем случае. Напротив, надеюсь, что майкрософт добавить что-нибудь эдакое. Они в языках шарят
m
ещё и чтобы выразительный был?
С современными парадигмами и абстракциями
H
раскатал губу
H
idris — самое близкое, что я видел, за исключением что он непригоден для низкоуровневого программирования совсем
RB
Потому что с плюсами на практике очень больно работать. Не в плане выразительности, а в плане того что любое неверное движение может обернуться UB, проявляющимся через какой-то хайзенбаг пару месяцев спустя.
С++ чуть ли не самый выразительный язык. Если сравнивать по количеству семантики на сточку - это самый выразительный язык во вселенной.
Никаких УБ там нет. Язык не продуцирует УБ, они являются свойством мироздания. Ты либо управляешь средой исполнения и можешь получить УБ, либо не управляешь
Никаких УБ там нет. Язык не продуцирует УБ, они являются свойством мироздания. Ты либо управляешь средой исполнения и можешь получить УБ, либо не управляешь
p
Roman Blog
С++ чуть ли не самый выразительный язык. Если сравнивать по количеству семантики на сточку - это самый выразительный язык во вселенной.
Никаких УБ там нет. Язык не продуцирует УБ, они являются свойством мироздания. Ты либо управляешь средой исполнения и можешь получить УБ, либо не управляешь
Никаких УБ там нет. Язык не продуцирует УБ, они являются свойством мироздания. Ты либо управляешь средой исполнения и можешь получить УБ, либо не управляешь
что за бред
p
кто открыл двери в дурке?
m
idris — самое близкое, что я видел, за исключением что он непригоден для низкоуровневого программирования совсем
coq вроде управляет памятью без сборки мусора. Значит можно модули ядра писать )
H
кто открыл двери в дурке?
двери в мироздание
H
makoven
coq вроде управляет памятью без сборки мусора. Значит можно модули ядра писать )
ты читал что такое Coq?
RB
Потому что с плюсами на практике очень больно работать. Не в плане выразительности, а в плане того что любое неверное движение может обернуться UB, проявляющимся через какой-то хайзенбаг пару месяцев спустя.
И здесь раст тебе никак не поможет. Раст - это просто возможность написать какое-то безопасное и примитивное api. Они не может выразить практически ничего, что требуется. Подобный чекер с такими же ограничениями реализуется любым студентом за неделю-месяц.
Если они будет нужен в С++ - его запилят. Вот ms уже запилил
Если они будет нужен в С++ - его запилят. Вот ms уже запилил
m
ты читал что такое Coq?
Я о том, чем он при желании может стать