hsrs: Type-Safe Haskell-Rust FFI Bindings with Automatic Code Generation
By
suis_siva
Toasted golden, schmeared with insight. Top of the rack.
Summary
hsrs is a tool that generates type-safe Haskell FFI bindings for Rust code. Developers annotate their Rust types and functions, run the code generator, and get idiomatic Haskell that handles memory management (via ForeignPtr), serialization (via Borsh), and type conversions automatically. The project aims to bridge Rust and Haskell with minimal boilerplate and strong type safety.
Key quotes
· 3 pulledCall Rust from Haskell with type-safe, automatically generated FFI bindings.
Annotate your Rust types and functions, run the code generator, and get idiomatic Haskell that handles memory management, serialization, and type conversions for you.
Memory is managed automatically via ForeignPtr, and complex types like Point are serialized across the boundary with Borsh.
You might also wanna read
Project Glasswing: AI-assisted vulnerability detection finds over 10,000 critical software flaws
Project Glasswing is a collaborative effort launched to secure critical software against potential threats from increasingly capable AI mode
anthropic.com·34m agoProject Glasswing: AI-assisted vulnerability detection finds over 10,000 critical software flaws
Project Glasswing is a collaborative effort launched to secure critical software against potential threats from increasingly capable AI mode
anthropic.com·34m agoKefir C compiler development moves to private mode indefinitely
The developer of the Kefir C compiler announces the cessation of public development, transitioning the project to private mode indefinitely.
NVIDIA releases open-source physical AI tools for robotics and autonomous vehicle development
NVIDIA has released a set of open-source "physical AI" skills and tools as part of the NVIDIA Agent Toolkit, designed to simplify robotics,
helpnetsecurity.com·1h ago
North Korean Group Famous Chollima Compromises Packagist Package to Target PHP Developers
A cybersecurity threat report detailing how the threat actor group "Famous Chollima" (linked to North Korea) targeted PHP developers by comp
hendryadrian.com·1h ago
CentOS Stream vs AlmaLinux vs Rocky Linux vs Oracle Linux: A VPS Hosting Comparison
This article compares four Linux distributions—CentOS Stream, AlmaLinux, Rocky Linux, and Oracle Linux—as alternatives for VPS hosting follo
blog.radwebhosting.com·1h ago