GitHub 中文社区
回车: Github搜索    Shift+回车: Google搜索
论坛
排行榜
趋势
登录

©2025 GitHub中文社区论坛GitHub官网网站地图GitHub官方翻译

  • X iconGitHub on X
  • Facebook iconGitHub on Facebook
  • Linkedin iconGitHub on LinkedIn
  • YouTube iconGitHub on YouTube
  • Twitch iconGitHub on Twitch
  • TikTok iconGitHub on TikTok
  • GitHub markGitHub’s organization on GitHub
集合主题趋势排行榜
#

structural-typing

Website
Wikipedia
https://static.github-zh.com/github_avatars/manifold-systems?size=40
manifold-systems / manifold

Manifold is a Java compiler plugin, its features include Metaprogramming, Properties, Extension Methods, Operator Overloading, Templates, a Preprocessor, and more.

JavaIntelliJ IDEAJSONtemplate-enginereflection-frameworkextension-methodsstructural-typingduck-typingjava-toolingmetaprogrammingGraphQLpreprocessorgraphql-javaAndroid Studiomanifold
Java 2.56 k
2 天前
https://static.github-zh.com/github_avatars/adam-mcdaniel?size=40
adam-mcdaniel / sage

#前端开发#A programming language that's wise beyond its bytes!🌱🌿🪴

algebraic-data-typesC编译器pattern-matchingpolymorphismportableRuststructural-typingturing-tarpitWebAssemblyx86-64前端移动Web
Rust 509
3 个月前
https://static.github-zh.com/github_avatars/dflemstr?size=40
dflemstr / tin

A statically structurally typed JIT-compiled programming language, mainly for embedding in other programs.

languageinferencestructural-typingjitjit-compilerembeddableRust
Rust 64
6 年前
https://static.github-zh.com/github_avatars/kesh-lang?size=40
kesh-lang / kesh

A simple little programming language that could one day compile to JavaScript

languagefunctionalstructural-typingdeclarativegradual-typing编程语言immutabilityidea
JavaScript 22
5 个月前
https://static.github-zh.com/github_avatars/arnobl?size=40
arnobl / structural-typing-examples

Examples in various programming languages about how structural typing is supported

编程语言type-systemobject-orientedstructural-typing
Eiffel 20
7 年前
https://static.github-zh.com/github_avatars/goretkin?size=40
goretkin / FixArgs.jl

lazythunkclosuresstructural-typingpartial-applicationlazy-evaluation
Julia 19
2 年前
https://static.github-zh.com/github_avatars/AaronC81?size=40
AaronC81 / sorbet_duck

Statically-checked duck typing (structural typing) for Sorbet. Quack!

sorbetRubyduck-typingstructural-typing
Ruby 2
3 年前
https://static.github-zh.com/github_avatars/mamba-lang?size=40
mamba-lang / mamba

The Mamba programming language

编程语言函数式编程structural-typing
Python 1
7 年前
https://static.github-zh.com/github_avatars/owaismohsin001?size=40
owaismohsin001 / junu-spaghetti

Junu Spaghetti, a language that types spaghetti code

编程语言static-typingstructural-typingad-hoc-polymorphism
Haskell 1
3 年前
https://static.github-zh.com/github_avatars/ntwiles?size=40
ntwiles / nala

A general-purpose interpreted programming language implemented in Rust.

interpreter编程语言pattern-matchingstructural-typingsum-types
Rust 1
9 个月前
https://static.github-zh.com/github_avatars/forst-lang?size=40
forst-lang / forst

[alpha] A programming language for backend development.

后端编译器Go编程语言static-typingstructural-typingtrpctype-inference
Go 1
7 天前
https://static.github-zh.com/github_avatars/sColin16?size=40
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

lambda-calculus编程语言structural-typingtype-system
OCaml 0
1 年前