搜索结果：type-safe（7 个）
按分类缩小范围
router
综合 67
面向 Web（React 等）的客户端优先、支持服务端渲染的全类型安全路由器与全栈框架。
gleam
综合 62
一门用于构建类型安全、高可扩展性系统的友好函数式编程语言。
zio
综合 62
〔中文简介暂未生成〕 ZIO — A type-safe, composable library for async and concurrent programming in Scala
retrofit
综合 60
面向 Android 和 JVM 的类型安全 HTTP 客户端。
tapir
综合 58
Tapir 是一个声明式、类型安全的 Scala HTTP API 库。它将端点定义与业务逻辑解耦，只需一套代码即可同时生成 HTTP 服务端、客户端调用代码，并自动导出 OpenAPI/AsyncAPI 文档。能无缝兼容 Netty、http4s、ZIO 等主流 Scala 生态框架。
macwire
综合 54
MacWire 是一个用于 Scala 的轻量级依赖注入库。它通过编译期宏自动生成对象实例化代码，解决传统手动组装依赖时样板代码繁琐的问题。核心提供 `wire`、`autowire` 等宏，具备类型安全、零运行时开销、无需注解等特性。
refit
综合 53
.NET 自动类型安全 REST 库，可将 REST API 转为 C# 接口并生成实现。