simpadjo - 代码之家

Java Grpc:使dns缓存无效

simpadjo · 技术社区 · grpc-java grpc java · 5 年前

Coq:展开复杂的符号

simpadjo · 技术社区 · coq · 7 年前

Idris:模式匹配后重建相等

simpadjo · 技术社区 · dependent-type idris · 7 年前

Scala宏:限制变量名

simpadjo · 技术社区 · scala-macros scala · 7 年前

类型lambdas break隐式解析

simpadjo · 技术社区 · type-level-computation shapeless scala · 7 年前

如何将ADT列表划分为其变体?

simpadjo · 技术社区 · scala-cats scalaz functional-programming scala · 7 年前

支持纱线簇上的多火花分布

simpadjo · 技术社区 · yarn apache-spark scala · 7 年前

simpadjo · 技术社区 · cassandra · 8 年前