1 个仓库
Foreign function interfaces that enforce strict type safety for external code interactions.
Distinct from Foreign Function Interfaces: Distinct from general Foreign Function Interfaces: focuses on the safety and type-explicit nature of the interface.
Explore 1 awesome GitHub repository matching programming languages & runtimes · Safe Interfaces. Refine with filters or upvote what's useful.
Gleam is a statically typed, functional programming language designed for building scalable and maintainable applications. It operates as a cross-platform development ecosystem that compiles source code to run on the Erlang virtual machine or within JavaScript environments. The language integrates a package manager and build system that automates dependency resolution, project compilation, and the generation of software bills of materials. The language distinguishes itself through a focus on type-driven domain modeling and a robust foreign function interface framework. By encoding business ru
Defines explicit types for external code to prevent runtime errors when interacting with foreign runtimes.