PureScript Open Rows for Type-Safe Record Enrichment
Use PureScript open row polymorphism to require specific record fields while preserving unknown fields through transformations, checked at compile time.
Loading…
ReadMeFeed / Community knowledge
Purescript
Real questions. Useful conversations. Find the people who know your stack.
Purescript
Developer tools · #purescript
Handling Dynamic Configurations with PureScript Row Polymorphism
PureScript row polymorphism allows for type-safe configuration merging. Learn how to use row constraints and Record.merge to ensure required keys exist at compile time.
Architecture Note: Using PureScript FFI for Safe JavaScript Interop in Web Apps
An architecture note describing how to use PureScript’s FFI to call JavaScript safely, covering requirements, minimal design, trust boundaries, checks, failure modes, and when to redesign.
PureScript FFI: Raw foreign import versus purescript-foreign boundary validation
Decide when to use raw PureScript FFI versus purescript-foreign boundary decoding for safer JavaScript interop.
Drawing the FFI Boundary: Safe JavaScript Interop in PureScript
PureScript's FFI lets you call JavaScript, but the compiler cannot see runtime shapes. Here is how to choose between direct bindings and purescript-foreign decoding.
PureScript Row Polymorphism: Flexible Records Without Losing Type Safety
Row polymorphism lets PureScript functions accept records with extra fields while keeping static type safety. Learn the syntax, a worked example, and the limits.
Choosing a PureScript FFI Boundary for JavaScript Calls
Decide which PureScript FFI style to use when calling JavaScript, with a comparison table, trade-offs, and a validated spago workflow.
Calling JavaScript from PureScript with the Foreign Function Interface
Learn how to expose JavaScript functions to PureScript using the Foreign Function Interface (FFI). Follow a step‑by‑step guide with a Lodash example, setup details, and trade‑off discussion.
Implementing Extensible Data Pipelines with PureScript Row Polymorphism
Learn how to use PureScript's row polymorphism to create extensible record types, ensuring data pipelines preserve extra fields while maintaining strict compile-time type safety.