Skills
.Work. You
Rest

type-system

Community

Master Hoon's structural type system.

Software Engineering#debugging#programming#type system#hoon#molds#auras
Authortoplyr-narfur
Version1.0.0
Installs0

System Documentation

What problem does it solve?

This Skill helps you understand and effectively use Hoon's powerful structural type system, enabling you to design types, debug errors, and build robust, type-safe code.

Core Features & Use Cases

  • Type Design: Learn to create effective molds and understand auras.
  • Error Debugging: Master identifying and resolving type errors like 'nest-fail'.
  • Generic Programming: Understand and implement polymorphic functions and types.
  • Use Case: When encountering a 'nest-fail' error in your Hoon code, consult this Skill to understand the type mismatch and how to correct it, whether by adjusting the value or the cast.

Quick Start

Use the type-system skill to understand how to define a mold for a tagged union.

Dependency Matrix

Required Modules

None required

Components

Standard package

💻 Claude Code Installation

Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.

Please help me install this Skill:
Name: type-system
Download link: https://github.com/toplyr-narfur/urbit-skills/archive/main.zip#type-system

Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
View Source Repository

Agent Skills Search Helper

Install a tiny helper to your Agent, search and equip skill from 223,000+ vetted skills library on demand.