В
почему?
игрушечный язык
Size: a a a
2020 January 16
G
лучше сразу на раст
сомнительное удовольствие в хай-левел коде бороться с лайфтаймами
p
так смысл в том чтоб тестов меньше писать => делать программы надёжнее и быстрее => быстрее фичи выпускать
все равно запускать программу на тестах надо
G
все равно запускать программу на тестах надо
ты же понимаешь разница между 5000 тестов и 50?
p
ну не думаю что доказательства так уменьшают колчество
G
на самом деле ему не хватает встроенного гц и всяких зав типов адт
адт же есть
G
ну не думаю что доказательства так уменьшают колчество
уменьшают
p
думаю раза в два
p
не больше
G
откуда такая инфа?)
AZ
Много языков без вм, но с гц.
Тот же хаскель, как пример, и вообще большинство мл подобных
Тот же хаскель, как пример, и вообще большинство мл подобных
кроме хаскелля ни одного не знаю
p
из мозга
p
я же сказал, думаю
G
из мозга
какой твой мозг волшебный. может предсказывать то, что неведано
G
кроме хаскелля ни одного не знаю
а в голанге же гц?
p
какой твой мозг волшебный. может предсказывать то, что неведано
это называется мыслительный процесс. Можно самому думать и делать выводы.
DS
кроме хаскелля ни одного не знаю
Коммон лисп, окамл, ним, всякие котлин/скала нейтив и т.д. и т.п.
KR
ты же понимаешь разница между 5000 тестов и 50?
ну тут, кстати, тоже вопрос... иногда 5000 тестов проще написать чем одно доказательство)
G
это называется мыслительный процесс. Можно самому думать и делать выводы.
и из чего ты сделал эти выводы?))
В
вроде scala/native есть? или это kotlin/native?
вроде оба есть