structural-typing

There are 11 repositories under structural-typing topic.

manifold-systems/manifold
Manifold is a Java compiler plugin, its features include Metaprogramming, Properties, Extension Methods, Operator Overloading, Templates, a Preprocessor, and more.
Language:Java2.3k 34 542121
adam-mcdaniel/sage
A programming language that's wise beyond its bytes!🌱🌿🪴
Language:Rust269 6 207
dflemstr/tin
A statically structurally typed JIT-compiled programming language, mainly for embedding in other programs.
Language:Rust63 4 02
arnobl/structural-typing-examples
Examples in various programming languages about how structural typing is supported
Language:Eiffel20 4 05
kesh-lang/kesh
A simple little programming language that could one day compile to JavaScript.
Language:JavaScript20 4 00
goretkin/FixArgs.jl
Language:Julia19 3 193
AaronC81/sorbet_duck
Statically-checked duck typing (structural typing) for Sorbet. Quack!
Language:Ruby1 2 01
mamba-lang/mamba
The Mamba programming language
Language:Python1 2 00
ntwiles/nala
A general-purpose interpreted programming language implemented in Rust.
Language:Rust1 1 00
zaidharoon001/junu-spaghetti
Junu Spaghetti, a language that types spaghetti code
Language:Haskell1 1 0
sColin16/set-typed-lambda-calculus
A typed lambda calculus with a set-theoretic type system, that serves as the theoretical basis for other languages with set-theoretic type systems
Language:OCaml0 1 00