AE
> F* is a joint project between Microsoft Research, Inria, and the community at large.
Size: a a a
2020 October 13
AE
Крутота.
V(
наплодили языков
SA
Ну наплодили
SA
Люди исследуют хуле
VL
а в борще всякие with-* конструкции - это единственный способ делать RAII?
VL
щас тыкаю cl-liballegro и соответственно нужно чистить сишную память
SA
ну как раи)
VL
пришло написать пару with-* макросов
SA
крнда раи а когда и так но поскольку
χλ
наплодили языков
Ну, вообще, академических языков есть много прикольных, сдораво же!
SA
у нас нет конструкторов деструкторов и все основано на вложенности а не на порядке то таки да
χλ
Надо будет про Habit почитать наконец...
VL
и то верно
VL
ну, с ними можно жить
VL
просто мне показалось что я не то что-то делаю
VL
VL
окак
V(
что-то не то делаю я, потому что много раз вызванные uiop:launch-program съедают файловые дескрипторы поему-то, несмотря на то что там два-три треда их запускают последовательно
VL
и раскрывается оно в башню из unwind-protect