I Built a Dashboard Where Every Error Reaches the UI
EP05 was the problem. EP06 is the fix - with working code, not slides.
Sky's Std.Core.Error ADT is one tagged union shared by every fallible function in the stdlib and every Go FFI wrapper. In this episode I build a real-time uptime dashboard in Sky.Live where every network failure, every HTTP 5xx, and every database write error flows - typed, exhaustively handled - from the kernel call all the way into a banner at the top of the browser.
No try/catch. No `if err != nil`. No unchecked promise rejection. Just types, pattern matching, and compiler exhaustiveness.
Source code for the full `sky-uptime` project: https://github.com/anzellai/sky-uptime
Sky language: https://github.com/anzellai/sky
Timestamps (approx):
0:00 - Four endpoints, two failing. Why the red cards show a typed error kind.
0:30 - Three languages, three flavors of the same swallowed-error bug.
1:05 - Sky.Core.Error - one tagged union, eleven kinds.
1:40 - Monitor.sky - classify a typed Error from Http.get.
2:20 - Db.sky - every query returns Result Error.
3:00 - Main.sky - how every Err becomes a Notice in the view.
3:45 - Live demo: Google, GitHub, Bad DNS, HTTP 500.
4:45 - Subscriptions - one line, SSE push every 30 seconds.
5:20 - Closing thoughts.
Previous episodes in this series:
EP05 - The Error Handling Problem That Kills Startups: / @anzel-sky
EP04 - Build a Todo CLI with SQLite in Sky
EP03 - Building a Type System from Scratch
EP02 - Sky in 10 Minutes - From Install to Running App
EP01 - I Built a Programming Language with AI - Here's What Happened: • Video
Topics: Sky language | Elm-inspired syntax | Go compile target | Sky.Live | server-driven UI | Hindley-Milner | Std.Core.Error | ADT | tagged union | pattern matching | exhaustiveness | Task | Result | SSE | SQLite | error propagation | error handling | type safety | functional programming | typed effects | AI-assisted language design
#skylang #sky #programming #functionalprogramming #typesafety #elm #golang #errorhandling #compilers #languagedesign"