Defining Types in Shen

Lobsters·11 points·doublec·almost 7 years ago·bluishcoder.co.nz

The Shen programming language has an extensible type system. Types are defined using sequent calculus and the system is powerful enough to create a variety of exotic types but it can be difficult when first starting…

Read the full article at bluishcoder.co.nz →

#types #shen #programming #defining #defining types #system #extensible #defined

Related stories

Flix - The Elegance of Functional Programming with the Conciseness of Logic Programmingflix.github.io
Lobsters · 11 points · about 10 years ago
Show HN: Onesie – An expressive CLI for System One models like Jevgithub.com
Hacker News · 3 points · 3 days ago
Show HN: System One Harness (SOH), the harness for System One modelsgithub.com
Hacker News · 1 points · 10 days ago
The Forgotten Operating System That Keeps the NYC Subway System Alive (OS/2)vice.com
Lobsters · 3 points · over 7 years ago
Do not let your type system reason about aliasing in your programming languagefuthark-lang.org
Hacker News · 1 points · 4 days ago
Do not let your type system reason about aliasing in your programming languagefuthark-lang.org
Lobsters · 32 points · 8 days ago

Related topics

programming300 haskell44 typescript41 extension36 plt45 context61 declarative8 main8 engines11 wasm27