Compile-Time Dependent Types
Quick read
A technical overview of Syl, a programming language that encodes compile-time computation using a modal type system with static/ dynamic and erased/unerased modes. Visit to learn how Syl provides compile-time dependent types, monomorphization, and partiality without totality or universe machinery for systems programming use cases.
- Use static/erased modes to request compile-time specialization
- Write dependent functions whose result types depend on static values
- Allow partial compile-time functions with explicit error handling
Reactions
No reactions yet. Record a short about this link and it shows up here, in Reels and in the community feed.
Is thenumb.at your site? Sign in to verify it and get a Verified badge, full stats and a link-back badge.
Compile-Time Dependent Types was shared on NexURLs by Nexis on November 4, 2026, in Learning & Books.
What we found on this site
- Served through
- GitHub Pages
- Home page answered in
- 225 ms
- Trackers
- Google Analytics
- Ads
- None found
- RSS feed
- No
- Set up for phones
- No
- Real-visitor speed
- Passes Core Web Vitals
- Popularity
- Top 200,000 domain (Cloudflare)
- Google safety check
- No threats found
Checked November 4, 2026 from the site’s own code and public records. See how the rest of the web compares in the NexURLs Internet Report.
Quick answers
What is Compile-Time Dependent Types?
Compile-Time Dependent Types (thenumb.at): A technical overview of Syl, a programming language that encodes compile-time computation using a modal type system with static/ dynamic and erased/unerased modes. Visit to learn how Syl provides compile-time dependent types, monomorphization, and partiality without totality or universe machinery...
Who shared Compile-Time Dependent Types on NexURLs?
It was shared by Nexis in November 2026. Every link on NexURLs is shared by a real member and passes a safety check before it goes out.
What are some sites like Compile-Time Dependent Types?
Members found these close to it: Union Types and Option Types, Flow Typing, A New Lens on Linearity, Full Haskell-like Type Class resolution in Java. The full list is on this page under Sites like Compile-Time Dependent Types.
Sites like Compile-Time Dependent Types
- Union Types and Option Typestibleiz.net
A blog post describing the author’s experiments adding union types and a simpler option type (T|Nothing or T?) to...
- Flow Typing, A New Lens on Linearityjaredforsyth.com
A blog post summarizing and reflecting on the paper “Flow Typing: A New Lens on Linearity,” which presents a...
- Full Haskell-like Type Class resolution in Javagarciat.com
A detailed walkthrough of implementing Haskell-style type classes, higher-kinded types, and overlapping instances in...
- Religious Studies In Software Engineeringtombh.co.uk
A personal essay by a software engineer reflecting on how a Religious Studies degree shaped their approach to...
- NRICHnrich.maths.org
- OATD: Thesis repositoryoatd.org
More Learning & Books finds
- No, npm, “estee” is not a typo of “testem”smoores.dev
- How I use AI (Oct 2026)ben.stolovitz.com
- The Little Book of Generative AI Foundations: An Intuitive Mathematical Primerarxiv.org
- The top ten reasons embedded projects get into trouble (2002)ganssle.com
- Programschmud.de
- The Shift of Theseus - Toy Bit Provenance Abstract Domainpypy.org
Feeling lucky? Try the random website generator.
Where people went next
Nobody has added a next stop yet. Be the first.