榜单
服务器优惠
AI论文
IT文库
-
union
union union A union declaration inside a lib declares a C union: lib U # In C: # # union IntOrFloat { # int some_int; # double some_float; ... -
Script Expressions
Script Expressions Script Expressions An expression can be either a test expression or an action expression. An expression can occupy several rows. Several action expressions ca... -
system.clusters
system.clusters system.clusters Contains information about clusters available in the config file and the servers in them. Columns: cluster (String) — The cluster name. shar... -
基础服务配置
基础服务配置 service 概述 参数定义 基础服务配置 service 概述 ServiceConf 这个配置是用来表示我们一个独立服务的配置。他被我们的 rest，zrpc 等引用，当然我们也可以自己简单定义自己的服务。 例如： package main import ( "github.com/zerom... -
$toBool (aggregation)
$toBool (aggregation) Definition Behavior Example $toBool (aggregation) Definition $toBool New in version 4.0. Converts a value to a boolean. $toBool has the foll... -
减小部署文件大小
减小部署文件大小 如何减小 go-zero 编译后二进制文件的大小？ 减小部署文件大小 如何减小 go-zero 编译后二进制文件的大小？ 如果未使用 Kubernetes 的服务发现，可以在编译的时候使用 -tags no_k8s 来排除 k8s 相关的依赖包。 具体做法如下： GOOS=linux GOARCH=amd64 go bu... -
Literal Overloading
Literal Overloading Natural numbers Negative numbers Strings Restrictions Literal Overloading Natural numbers By default natural number literals are mapped to the built-in... -
7.12 嵌套类（Nested Class）
7.12 嵌套类（Nested Class） 7.12.1 嵌套类：类中的类 7.12.2 内部类（Inner Class） 7.12.3 匿名内部类（Annonymous Inner Class） 7.12 嵌套类（Nested Class） 7.12.1 嵌套类：类中的类 类可以嵌套在其他类中，可以嵌套多层： class Nest... -
Cumulativity
Cumulativity Basics Example usage: N-ary functions Limitations Constraint solving Cumulativity Basics Since version 2.6.1, Agda supports optional cumulativity of universes ... -
Cumulativity
Cumulativity Basics Example usage: N-ary functions Limitations Constraint solving Cumulativity Basics Since version 2.6.1, Agda supports optional cumulativity of universes ...