サクサク読めて、アプリ限定の機能も多数!
xef のブックマーク 2021/10/29 00:54
GitHub - austral/austral: Systems language with linear types and capability-based security.[OCaml][LinearType][ProgrammingLanguage]2021/10/29 00:54
このブックマークにはスターがありません。 最初のスターをつけてみよう!
github.com/austral2021/10/29
Austral is a new language. Features: Linear types: linear types allow resources to be handled in a provably-safe manner. Memory can be managed safely and without runtime overhead, avoiding double f...
3 人がブックマーク・0 件のコメント
\ コメントが サクサク読める アプリです /
xef のブックマーク 2021/10/29 00:54
このブックマークにはスターがありません。
最初のスターをつけてみよう!
GitHub - austral/austral: Systems language with linear types and capability-based security.
github.com/austral2021/10/29
Austral is a new language. Features: Linear types: linear types allow resources to be handled in a provably-safe manner. Memory can be managed safely and without runtime overhead, avoiding double f...
3 人がブックマーク・0 件のコメント
\ コメントが サクサク読める アプリです /