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
集合主题趋势排行榜
#

type-classes

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

The Felix Programming Language

编程语言编程C++OCaml编译器coroutines函数式编程scripting-languagecompiledplatform-independentcode-generatorstatic-analysispolymorphismtype-classes
C 814
9 个月前
https://static.github-zh.com/github_avatars/funfix?size=40
funfix / funfix.js

Functional Programming Library for JavaScript, TypeScript and Flow ✨⚡️

fp函数式编程JavaScriptTypeScriptflowtypees2015type-classesasyncconcurrencyfutures
TypeScript 632
1 年前
https://static.github-zh.com/github_avatars/thma?size=40
thma / WhyHaskellMatters

In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distinguishing features and detailing them with working code examples. ...

Haskellfunction-composition函数式编程partial-applicationpattern-matchingalgebraic-data-typesmappingfoldinglazy-evaluationtype-classesfunctorfoldablemonads
Haskell 471
2 年前
https://static.github-zh.com/github_avatars/funfix?size=40
funfix / funland.js

Type classes for interoperability of common algebraic structures in JavaScript, TypeScript and Flow

JavaScriptTypeScriptflowtypetype-classes函数式编程fpfantasy-land
TypeScript 46
1 年前
https://static.github-zh.com/github_avatars/ThoughtWorksInc?size=40
ThoughtWorksInc / bindable.scala

User-friendly Binding.scala components

data-bindingtype-classesScalafunctional-reactive-programming
Scala 23
5 个月前
https://static.github-zh.com/github_avatars/maxadamski?size=40
maxadamski / vitamin

The Vitamin programming language

编程语言函数式编程dependent-typesprocedural-programmingmetaprogrammingtype-classesstatic-analysis编译器polymorphism
Nim 22
3 年前
https://static.github-zh.com/github_avatars/Primetalk?size=40
Primetalk / typed-ontology

A unique fusion of ontology ideas, strong Scala type system and Json flexibility

Scalaontologytype-classes
Scala 19
25 天前
https://static.github-zh.com/github_avatars/hongchangwu?size=40
hongchangwu / ocaml-type-classes

OCaml Type Classes

OCamltype-classes
OCaml 18
4 年前
https://static.github-zh.com/github_avatars/BlackMATov?size=40
BlackMATov / fun.hpp

My old crazy idea about functional programming in C++

C++c-plus-plus-17函数式编程type-classesHaskell
C++ 15
5 年前
https://static.github-zh.com/github_avatars/joroKr21?size=40
joroKr21 / flink-shapeless

ADT support for Flink with Shapeless

flinkalgebraic-data-typestype-classesserialization
Scala 12
5 年前
https://static.github-zh.com/github_avatars/petur-a?size=40
petur-a / masters

Developing a type system for a minimal reversible functional language.

semanticstype-theory函数式编程type-classes
TeX 7
7 年前
https://static.github-zh.com/github_avatars/williamareynolds?size=40
williamareynolds / ts-cat

A static-land and fantasy-land compliant library containing interfaces for common type-classes and common instances of them.

category-theorytypescript-libraryTypeScriptmaybefunctorapplicativemonadfantasy-landtype-classeshigher-kinded-types
TypeScript 7
3 年前
https://static.github-zh.com/github_avatars/coord-e?size=40
coord-e / ad-hoc-poly

Implementation of type classes

type-inferencetype-classestranspilerad-hoc-polymorphism
Haskell 6
6 年前
https://static.github-zh.com/github_avatars/RafalSumislawski?size=40
RafalSumislawski / swaggerify

Deriving swagger files from Scala code

swaggertype-classesScala
Scala 6
4 年前
https://static.github-zh.com/github_avatars/zarinfam?size=40
zarinfam / java-type-classes-sample

This is a sample project to describe and implement type classes functional programming concept in Java. You can find complete article in this link:

函数式编程type-classesJavaScala
Java 3
6 年前
https://static.github-zh.com/github_avatars/danielkreck?size=40
danielkreck / Analysis-of-PureScripts-Compilation-Process

Understanding concepts of functional languages ​​(ADT's, type classes, functors, monads, ...) by looking at how they are implemented. The source language is PureScript which compiles to JavaScript. Th...

analysisfunctional-languagesPureScriptJavaScriptalgebraic-data-typestype-classesrecursionmonads
TeX 3
7 年前
https://static.github-zh.com/github_avatars/RemuLang?size=40
RemuLang / hybrid-type-system

Row + Implicit arguments + MLF.

type-systemtype-classestraitstype-inference
Python 3
5 年前
https://static.github-zh.com/github_avatars/AmbientTea?size=40
AmbientTea / prolog-schemes

Optics and data transformation library for SWI Prolog

prologopticsdata-transformationpolymorphismtype-classes
Prolog 2
4 年前
https://static.github-zh.com/github_avatars/michalkonecny?size=40
michalkonecny / mixed-types-num

Alternative to Haskell Prelude.Num, deriving types bottom-up

Haskellnumerictype-classes
Haskell 2
8 个月前
https://static.github-zh.com/github_avatars/blockspacer?size=40
blockspacer / flex_typeclass_plugin

typeclasses. Supports combinations of multiple typeclasses and out-of-source method definitions (data and logic separation).

typeclassestraitstype-classesclangC++LLVMsource-to-sourcecmakeConanclingreflectionrefactoring
C++ 1
4 年前
loading...