AZ
Коммон лисп, окамл, ним, всякие котлин/скала нейтив и т.д. и т.п.
всего этого по сути нет
Size: a a a
2020 January 16
p
Коммон лисп, окамл, ним, всякие котлин/скала нейтив и т.д. и т.п.
а, ну это не языки
AZ
голанг вон да, второй
p
а, ну это не языки
(языкосрач с этого сообщения)
G
ну тут, кстати, тоже вопрос... иногда 5000 тестов проще написать чем одно доказательство)
ну трейд-оффы везде есть, да. но если верить автору идрис, то большинство доказательств в коде тривиальны по сравнению с матаном
KR
всего этого по сути нет
вот за окамл обидно стало ща)
AZ
думаю раза в два
ну если взять доклад про разворот списка, то чтобы доказать его корректность нужно 20 тестов
AZ
или один пруф
AZ
такие дела
KR
на нём первые версии раста были писаны)
DS
всего этого по сути нет
Ну сейчас нет. Когда-то тот же коммон лисп дофига популярен был
DS
вот за окамл обидно стало ща)
Но него практически нет
AZ
Ну сейчас нет. Когда-то тот же коммон лисп дофига популярен был
да где он популярен то
AZ
в автокаде остатками
AZ
и все
DS
да где он популярен то
Был популярен в 80х
AZ
Был популярен в 80х
ну блин, что было в 80х остается в 80х
В
а ещё проще на С
а ещё проще на Rust
KR
а ещё проще на Rust
эк ты С++ перепрыгнул резво)
DS
ну блин, что было в 80х остается в 80х
Ну так себе, с исторической перспективы это важно.
Как раз в какой-то момент большинство, если не все, языки с гц были без вм
Как раз в какой-то момент большинство, если не все, языки с гц были без вм