Does it support both Erlang and JavaScript targets?

Yes, the skill covers Gleam's core type system features which apply consistently whether you are compiling to the BEAM or the JavaScript ecosystem.

What is the Gleam Type System skill?

It is a specialized capability for Claude Code that provides deep knowledge of Gleam's static typing, helping you write safer code for the Erlang VM and JavaScript.

How does this skill help with error handling?

It provides patterns for using Result and Option types, encouraging a functional approach that replaces exceptions with explicit, compiler-verified error paths.

Can it help with complex pattern matching?

Absolutely. It includes guidance on exhaustive matching, destructuring custom types, and using guards to ensure your conditional logic is complete and bug-free.

Gleam Type System

Name: Gleam Type System
Author: TheBushidoCollective

byTheBushidoCollective

•

Desarrollo de API

Master Gleam's statically-typed functional programming patterns to build type-safe, fault-tolerant applications on the Erlang VM.

The Gleam Type System skill provides comprehensive guidance on leveraging Gleam's powerful static typing features for the BEAM ecosystem. It empowers developers to implement algebraic data types (ADTs), exhaustive pattern matching, and parametric polymorphism to eliminate runtime errors and make invalid states unrepresentable. Whether you are managing complex state machines, handling functional errors with Result types, or creating type-safe APIs with phantom types, this skill offers the implementation patterns and best practices needed to write robust, maintainable Gleam code that compiles to Erlang or JavaScript.

Características Principales

01Algebraic Data Types (ADTs) and custom record types

02Exhaustive pattern matching with compiler-verified guards

03Parametric polymorphism and generic type implementation

0495 GitHub stars

05Advanced patterns like opaque types and phantom types

06Functional error handling using Result and Option types

Casos de Uso

01Implementing robust data validation and transformation pipelines

02Modeling complex domain logic where invalid states must be unrepresentable

03Designing type-safe state machines for distributed Erlang systems

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add thebushidocollective/han gleam-type-system

For use in Claude.ai and ChatGPT

Download Skill