structural-typing

There are 0 repository 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.
java intellij json template-engine reflection-framework extension-methods structural-typing duck-typing java-tooling java-development type-providers metaprogramming graphql preprocessor graphql-java js-java-interoperability android-studio manifold delegation java-sql
Language:Java 2312
adam-mcdaniel / sage
A programming language that's wise beyond its bytes!🌱🌿🪴
algebraic-data-types c compiler pattern-matching polymorphism portable rust structural-typing turing-tarpit wasm x86-64 frontend mobile web
Language:Rust 367
dflemstr / tin
A statically structurally typed JIT-compiled programming language, mainly for embedding in other programs.
language inference structural-typing jit jit-compiler embeddable rust
Language:Rust 63
arnobl / structural-typing-examples
Examples in various programming languages about how structural typing is supported
programming-language type-system object-oriented structural-typing
Language:Eiffel 20
kesh-lang / kesh
A simple little programming language that could one day compile to JavaScript.
language functional structural-typing declarative gradual-typing programming-language expression-oriented prototype-based line-oriented block-structured multi-paradigm immutability object-based kesh
Language:JavaScript 20
goretkin / FixArgs.jl
lazy laziness thunk currying deferred-execution closures structural-typing partial-functions partial-application lazy-evaluation
Language:Julia 19
AaronC81 / sorbet_duck
Statically-checked duck typing (structural typing) for Sorbet. Quack!
sorbet ruby duck-typing structural-typing
Language:Ruby 1
mamba-lang / mamba
The Mamba programming language
programming-language functional-programming structural-typing
Language:Python 1
ntwiles / nala
A general-purpose interpreted programming language implemented in Rust.
interpreter pattern-matching programming-language structural-typing sum-types
Language:Rust 1
zaidharoon001 / junu-spaghetti
Junu Spaghetti, a language that types spaghetti code
programming-language spaghetti-code static-typing structural-typing ad-hoc-polymorphism parametric-polymorphism union-types bidirectional-typechecking
Language:Haskell 1
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
intersection-types lambda-calculus programming-language structural-typing type-system union-types
Language:OCaml 0