Storyyeller

Storyyeller / 1subml

Public

The 1SubML programming language - unified module and value language, structural subtyping, global type inference, higher rank polymorphic types, existential types, higher kinded types (no partial application), recursive types, worst-case polynomial time type checking and much more.

44
0
100% credibility
Found Apr 08, 2026 at 44 stars -- GitGems finds repos before they trend. Get early access to the next one.
Sign Up Free
AI Analysis
Rust
AI Summary

1SubML is an experimental programming language with advanced type features like global inference and modules-as-values, compiling to JavaScript for browser execution.

How It Works

1
🌐 Discover 1SubML

You stumble upon this fun new way to write smart programs that check themselves for errors before running.

2
🖥️ Open the playground

Head to the website and start typing code right in your browser, no setup needed.

3
✨ Write simple code

Try examples like calculating huge Fibonacci numbers or shapes' areas – it feels magical as errors light up instantly.

4
▶️ Run and see results

Click run to watch your code compile and print answers, like massive numbers or perfect calculations.

5
🔧 Build your own

Tweak code, add modules as values, or define custom types – everything stays safe and fast.

6
📱 Share or embed

Copy your working code or use it anywhere since it turns into simple web-friendly scripts.

🎉 Master error-free coding

Enjoy building reliable programs that run everywhere, feeling confident with automatic checks.

Sign up to see the full architecture

5 more

Sign Up Free

Star Growth

See how this repo grew from 44 to 44 stars Sign Up Free
Repurpose This Repo

Repurpose is a Pro feature

Generate ready-to-use prompts for X threads, LinkedIn posts, blog posts, YouTube scripts, and more -- with full repo context baked in.

Unlock Repurpose
AI-Generated Review

What is 1subml?

1SubML is an experimental programming language that unifies modules and values into a single structural subtyping system with global type inference. Developers get higher-rank polymorphic types, existential types, higher-kinded types without partial application, recursive types, and worst-case polynomial time type checking—much more power than typical languages. It compiles to JavaScript for easy execution via CLI or web playground, solving the pain of verbose annotations in safe, inferred code.

Why is it gaining traction?

Modules act as first-class record values, letting you pass them to functions, select at runtime, or store in data structures—true first-class functors without a separate module language. Global inference eliminates most type annotations, while polynomial checking scales predictably. The browser playground hooks you instantly for quick experiments.

Who should use this?

Language researchers prototyping type systems with higher-kinded polymorphism or recursive types. Algorithm implementers needing arbitrary-precision ints and exhaustive matching without boilerplate. JS scripters wanting ML safety for data pipelines or simulations.

Verdict

Promising type system playground with a web demo and CLI, but 44 stars and 1.0% credibility score signal early immaturity—light docs, no broad tests. Try the playground for fun; skip for real apps until it matures.

(178 words)

Sign up to read the full AI review Sign Up Free

Similar repos coming soon.