AH
где еще верификаторы нужны кроме как в криптографии и криптовалютах
Size: a a a
2020 December 31
VK
На F* начать переносить код
Там генератор на фшарп то работает?
VK
Вообще уважаемо
NT
где еще верификаторы нужны кроме как в криптографии и криптовалютах
Криптовалют нет
VK
где еще верификаторы нужны кроме как в криптографии и криптовалютах
А окамл можно задллимпортить?
AH
А окамл можно задллимпортить?
да, он же нативную либу собирает
AH
пинвоком и вперде?
VK
Вперде.
AH
ну тебе не привыкать
VK
Я пока только айосные фреймворки импортировал на плюсах
IC
если уж спрашиваешь
1. сорс генераторы привязаны к рослину (а он не может в F#)
2. авторы этих сорс генераторов вряд ли будут заботиться о VB в принципе
1. сорс генераторы привязаны к рослину (а он не может в F#)
2. авторы этих сорс генераторов вряд ли будут заботиться о VB в принципе
рослин компилирует и VB, так что с с ним генераторы тоже должны работать
K
рослин компилирует и VB, так что с с ним генераторы тоже должны работать
а если я сгенерирую C# файл для VB проекта? я никогда такое не пробовал, не уверен
IC
а если я сгенерирую C# файл для VB проекта? я никогда такое не пробовал, не уверен
у меня тоже нет уверенности
NT
где еще верификаторы нужны кроме как в криптографии и криптовалютах
У меня вообще мысль F* завести поверх seL4
DP
IC
Имеешь в виду delete?
patch
IC
нахрена в delete слать боди?
DP
нахрена в delete слать боди?
Так я же тебя спросил. Я не утверждал что это норм
IC
Так я же тебя спросил. Я не утверждал что это норм
👍