AT
Тот же js_of_ocaml
Size: a a a
2021 April 07
AG
ну вообще чтобы прямо параллельный зависимый тайпчекер писать это я не совсем щас готов :)
AG
хочу отдельно поковырять тайпчекер, отдельно локфришню на мультикоре
R
Ты сбоку ему параллельность
AT
Не стоит овчинка выделки
AG
а там уже если пойдет пытаться что-то соединять
AT
Мы зависимые типы
AG
тайпчекинг конечно штука туго параллелизуемая
AT
В смысле параллельного чекера
AG
но стерлинг там же активно щас топит за теорию модулей
AG
можно наверное раздельную параллельную компиляцию пилить
AG
или вон как в коке асинхронный чекинг лемм
AG
ну он там по моему тупо запускает пачку коков и раздает им топологически отсортированные поддеревья
AT
Ага, но тебе надо непрозрачные определения иметь для этого
AG
можно наверное как-то хитрее делать, с шаред структурами
AT
Там куча всякого шаред