Использование OCaml для ARM (android / ios) в качестве C интерфейсной библиотеки - PullRequest
0 голосов
/ 22 апреля 2020

Я хочу использовать этот стек TCP / IP MirageOS, написанный на OCaml , в моем приложении. Мое приложение предназначено для работы на Linux, macOS, Windows, Android, iOS.

Согласно https://ocaml.org/learn/portability.html, поддержка x86 в порядке для Windows, macOS, Linux. Однако для ARM в нем перечислены только Linux (Android, может быть?).

Мой проект в основном на C ++. Причина, по которой я хочу использовать стек TCP / IP OCaml, заключается в том, что он очень простой, переносимый и легко проверяемый, а также гораздо более безопасный, чем библиотеки C, которые страдают от переполнения буфера и других уязвимостей, связанных с наличие состояний, что смягчается функциональными языками. Также нет переносимых и простых стеков C / C ++ TCP / IP (я проверил некоторые из них на github).

Я обнаружил, что эти 2 попытки представить OCaml для мобильных устройств:

https://github.com/ocaml-cross/opam-cross-android

https://github.com/ocaml-cross/opam-cross-ios

Но они довольно старые. У меня также нет опыта в портировании OCaml, хотя я понимаю функциональные языки.

Я просто хочу использовать код OCaml в качестве библиотеки из моего кода C ++ для взаимодействия. Я думаю, что это намного проще, чем пытаться создавать чистые приложения OCaml.

Я хотел бы спросить, знает ли кто-нибудь, как заставить эти наборы инструментов работать с современным OCaml, чтобы я мог использовать стек MirageOS TCP / IP и скомпилируйте его для мобильного.

Добро пожаловать на сайт PullRequest, где вы можете задавать вопросы и получать ответы от других членов сообщества.
...