С
IBM это мог в 70е разве что
У них, говорят, сейчас столько патентов, что все остальные компании просто разорятся, если IBM пустит их в ход
Size: a a a
2020 April 01
SK
где-то здесь ATS стал бм usable для широкой публики
SK
а dependent ML был за вечность до этого, да
AG
чет я не вижу даты создания нигде
можно от dependent ml отсчитывать, это где-то 2005
AG
а не вру, 98й
A
в этой статье ATS называется фреймворком
A
😊
A
ocaml был топчик - и то не взлетел :(
AG
ши в 1998 как раз по дмлю защитился
A
может, стоит начать следующий проект на ATS?!
SK
ocaml был топчик - и то не взлетел :(
еще взлетит :)
SK
окамлисты захватят мир
SK
eventually
λO
может, стоит начать следующий проект на ATS?!
подожди третий
A
подожди третий
а Ванесса на втором пишет?
λO
у окамлистов даже ML синтаксис отняли
λO
ризон и это всё
λO
а Ванесса на втором пишет?
а вот не знаю. может на первом даже. последний релиз первого свежее второго