АУ
Можно. И даже в vscode писать из под Windows.
мне по идее за глаза хватит. Надо ли этот Ризон (хипстерский?) %)
Size: a a a
2018 June 13
АУ
а блин, я же автоматические тесты хотела добавить
g
а блин, я же автоматические тесты хотела добавить
А какие проблемы?
АУ
А какие проблемы?
я просто говоря без понятия, как там в платформу интегрировать тесты на странных языках. Не факт, что за лето разберусь
g
Понял.
АУ
всякие джавы-сиплюсплюсы изкаропки там
VK
Понял.
А ты из универа свалил? Вроде писал нечто подобное
АУ
моя мечта - заставить студентов самих друг у друга лабы проверять, но это ещё сложнее автоматически сделать :) Надо как peer review в курсере
g
А ты из универа свалил? Вроде писал нечто подобное
Я в аспирантуре, но не преподаю больше.
VK
Понятно
NM
кстати, вы знаете про F*?
https://en.wikipedia.org/wiki/F*_(programming_language)
https://en.wikipedia.org/wiki/F*_(programming_language)
А он во что компилируется?
g
А он во что компилируется?
Он не для компиляции в исполняемые файлы.
NM
Он не для компиляции в исполняемые файлы.
А для чего?
AH
А он во что компилируется?
он верифицирует. Типы переводятся в C
g
Можно экстрактить код в OCaml или C.
RM
Можно экстрактить код в OCaml или C.
о, а как?
VS
F* пока выглядит для меня как матан высшего порядка :(
VS
Хотя для общего образования полезно, наверное
g
о, а как?
Я не знаю, посмотри флаги компилятора. :)