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.5k 37 611126
adam-mcdaniel/sage
A programming language that's wise beyond its bytes!🌱🌿🪴
Language:Rust499 6 2117
dflemstr/tin
A statically structurally typed JIT-compiled programming language, mainly for embedding in other programs.
Language:Rust64 4 02
kesh-lang/kesh
A simple little programming language that could one day compile to JavaScript
Language:JavaScript22 5 00
arnobl/structural-typing-examples
Examples in various programming languages about how structural typing is supported
Language:Eiffel20 3 08
goretkin/FixArgs.jl
Language:Julia19 2 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 1 00
ntwiles/nala
A general-purpose interpreted programming language implemented in Rust.
Language:Rust1 1 00
owaismohsin001/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