积分充值
 首页
前端开发
AngularDartElectronFlutterHTML/CSSJavaScriptReactSvelteTypeScriptVue.js构建工具
后端开发
.NetC#C++C语言DenoffmpegGoIdrisJavaJuliaKotlinLeanMakefilenimNode.jsPascalPHPPythonRISC-VRubyRustSwiftUML其它语言区块链开发测试微服务敏捷开发架构设计汇编语言
数据库
Apache DorisApache HBaseCassandraClickHouseFirebirdGreenplumMongoDBMySQLPieCloudDBPostgreSQLRedisSQLSQLiteTiDBVitess数据库中间件数据库工具数据库设计
系统运维
AndroidDevOpshttpdJenkinsLinuxPrometheusTraefikZabbix存储网络与安全
云计算&大数据
Apache APISIXApache FlinkApache KarafApache KyuubiApache OzonedaprDockerHadoopHarborIstioKubernetesOpenShiftPandasrancherRocketMQServerlessService MeshVirtualBoxVMWare云原生CNCF机器学习边缘计算
综合其他
BlenderGIMPKiCadKritaWeblate产品与服务人工智能亿图数据可视化版本控制笔试面试
文库资料
前端
AngularAnt DesignBabelBootstrapChart.jsCSS3EchartsElectronHighchartsHTML/CSSHTML5JavaScriptJerryScriptJestReactSassTypeScriptVue前端工具小程序
后端
.NETApacheC/C++C#CMakeCrystalDartDenoDjangoDubboErlangFastifyFlaskGinGoGoFrameGuzzleIrisJavaJuliaLispLLVMLuaMatplotlibMicronautnimNode.jsPerlPHPPythonQtRPCRubyRustR语言ScalaShellVlangwasmYewZephirZig算法
移动端
AndroidAPP工具FlutterFramework7HarmonyHippyIoniciOSkotlinNativeObject-CPWAReactSwiftuni-appWeex
数据库
ApacheArangoDBCassandraClickHouseCouchDBCrateDBDB2DocumentDBDorisDragonflyDBEdgeDBetcdFirebirdGaussDBGraphGreenPlumHStreamDBHugeGraphimmudbIndexedDBInfluxDBIoTDBKey-ValueKitDBLevelDBM3DBMatrixOneMilvusMongoDBMySQLNavicatNebulaNewSQLNoSQLOceanBaseOpenTSDBOracleOrientDBPostgreSQLPrestoDBQuestDBRedisRocksDBSequoiaDBServerSkytableSQLSQLiteTiDBTiKVTimescaleDBYugabyteDB关系型数据库数据库数据库ORM数据库中间件数据库工具时序数据库
云计算&大数据
ActiveMQAerakiAgentAlluxioAntreaApacheApache APISIXAPISIXBFEBitBookKeeperChaosChoerodonCiliumCloudStackConsulDaprDataEaseDC/OSDockerDrillDruidElasticJobElasticSearchEnvoyErdaFlinkFluentGrafanaHadoopHarborHelmHudiInLongKafkaKnativeKongKubeCubeKubeEdgeKubeflowKubeOperatorKubernetesKubeSphereKubeVelaKumaKylinLibcloudLinkerdLonghornMeiliSearchMeshNacosNATSOKDOpenOpenEBSOpenKruiseOpenPitrixOpenSearchOpenStackOpenTracingOzonePaddlePaddlePolicyPulsarPyTorchRainbondRancherRediSearchScikit-learnServerlessShardingSphereShenYuSparkStormSupersetXuperChainZadig云原生CNCF人工智能区块链数据挖掘机器学习深度学习算法工程边缘计算
UI&美工&设计
BlenderKritaSketchUI设计
网络&系统&运维
AnsibleApacheAWKCeleryCephCI/CDCurveDevOpsGoCDHAProxyIstioJenkinsJumpServerLinuxMacNginxOpenRestyPrometheusServertraefikTrafficUnixWindowsZabbixZipkin安全防护系统内核网络运维监控
综合其它
文章资讯
 上传文档  发布文章  登录账户
IT文库
  • 综合
  • 文档
  • 文章

无数据

分类

全部后端开发(46)其它语言(46)

语言

全部英语(46)

格式

全部PDF文档 PDF(31)其他文档 其他(15)
 
本次搜索耗时 0.067 秒,为您找到相关结果约 46 个.
  • 全部
  • 后端开发
  • 其它语言
  • 全部
  • 英语
  • 全部
  • PDF文档 PDF
  • 其他文档 其他
  • 默认排序
  • 最新排序
  • 页数排序
  • 大小排序
  • 全部时间
  • 最近一天
  • 最近一周
  • 最近一个月
  • 最近三个月
  • 最近半年
  • 最近一年
  • pdf文档 The Zig Programming Language 0.12.0 Documentation

    This causes less work for both humans and computers to do when reading code, and creates more optimization opportunities. The extern keyword or @extern builtin function can be used to link against a function become semantically inlined at the callsite. This is not a hint to be possibly observed by optimization passes, but has implications on the types and values involved in the function call. Unlike normal understands error types, it can pre-weight branches in favor of errors not occurring. Just a small optimization benefit that is not available in other languages. See also: defer if switch An error union
    0 码力 | 241 页 | 7.37 MB | 1 年前
    3
  • pdf文档 The Zig Programming Language 0.11.0 Documentation

    This causes less work for both humans and computers to do when reading code, and creates more optimization opportunities. 7.1. Identifiers Variable identifiers are never allowed to shadow identifiers understands error types, it can pre-weight branches in favor of errors not occurring. Just a small optimization benefit that is not available in other languages. See also: defer if switch An error union async keyword used with function call syntax. 6 async_kw, 7 8 /// Prevents tail call optimization. This guarantees that the return 9 /// address will point to the callsite, as opposed to
    0 码力 | 238 页 | 7.80 MB | 1 年前
    3
  • pdf文档 The Zig Programming Language 0.4.0 Documentation

    This causes less work for both humans and computers to do when reading code, and creates more optimization opportunities. Global Variables Global variables are considered to be a top level declaration understands error types, it can pre-weight branches in favor of errors not occurring. Just a small optimization benefit that is not available in other languages. See also: defer if switch An error union file an issue for this and link it here. Zig does not take advantage of LLVM's allocation elision optimization for coroutines. It crashed LLVM when I tried to do it the first time. This is related to the other
    0 码力 | 207 页 | 5.29 MB | 1 年前
    3
  • pdf文档 The Zig Programming Language 0.9.1 Documentation

    This causes less work for both humans and computers to do when reading code, and creates more optimization opportunities. Identifiers Variable identifiers are never allowed to shadow identifiers from understands error types, it can pre-weight branches in favor of errors not occurring. Just a small optimization benefit that is not available in other languages. See also: defer if switch An error union keyword used with function call syntax. 12 async_kw, 13 14 /// Prevents tail call optimization. This guarantees that the return 15 /// address will point to the callsite, as opposed
    0 码力 | 234 页 | 7.90 MB | 1 年前
    3
  • pdf文档 The Zig Programming Language 0.7.1 Documentation

    This causes less work for both humans and computers to do when reading code, and creates more optimization opportunities. Global Variables Global variables are considered to be a top level declaration understands error types, it can pre-weight branches in favor of errors not occurring. Just a small optimization benefit that is not available in other languages. See also: defer if switch An error union to async keyword used with function call synt async_kw, /// Prevents tail call optimization. This guarantees that th /// address will point to the callsite, as opposed to the ca
    0 码力 | 225 页 | 5.74 MB | 1 年前
    3
  • pdf文档 The Zig Programming Language 0.6.0 Documentation

    This causes less work for both humans and computers to do when reading code, and creates more optimization opportunities. Global Variables Global variables are considered to be a top level declaration understands error types, it can pre-weight branches in favor of errors not occurring. Just a small optimization benefit that is not available in other languages. See also: defer if switch An error union to async keyword used with function call synt async_kw, /// Prevents tail call optimization. This guarantees that th /// address will point to the callsite, as opposed to the ca
    0 码力 | 214 页 | 5.37 MB | 1 年前
    3
  • pdf文档 The Zig Programming Language 0.10.1 Documentation

    This causes less work for both humans and computers to do when reading code, and creates more optimization opportunities. Identifiers Variable identifiers are never allowed to shadow identifiers from understands error types, it can pre-weight branches in favor of errors not occurring. Just a small optimization benefit that is not available in other languages. See also: defer if switch An error union keyword used with function call syntax. 12 async_kw, 13 14 /// Prevents tail call optimization. This guarantees that the return 15 /// address will point to the callsite, as opposed
    0 码力 | 239 页 | 8.03 MB | 1 年前
    3
  • pdf文档 The Zig Programming Language 0.8.1 Documentation

    This causes less work for both humans and computers to do when reading code, and creates more optimization opportunities. Container Level Variables Container level variables have static lifetime and understands error types, it can pre-weight branches in favor of errors not occurring. Just a small optimization benefit that is not available in other languages. See also: defer if switch An error union to async keyword used with function call synt async_kw, /// Prevents tail call optimization. This guarantees that th /// address will point to the callsite, as opposed to the ca
    0 码力 | 234 页 | 6.01 MB | 1 年前
    3
  • epub文档 Agda User Manual v2.6.1.3

    functions are not removed completely, but instead replaced by a placeholder value _. The crucial optimization enabled by the erasure annotation is compiling λ {n} → f {suc n} to simply f, removing a terrible Projection-likeness is an optimization that reduces the size of terms by dropping parameter-like reconstructible function arguments. Thus, it is advisable to leave this optimization on, the flag is meant for lot of unary manipulations and doesn’t use builtin arithmetic likely becomes slower due to this optimization. If you find that this is the case, it is recommended to use a different, but isomorphic type
    0 码力 | 305 页 | 375.80 KB | 1 年前
    3
  • epub文档 Agda User Manual v2.6.1.2

    functions are not removed completely, but instead replaced by a placeholder value _. The crucial optimization enabled by the erasure annotation is compiling λ {n} → f {suc n} to simply f, removing a terrible Projection-likeness is an optimization that reduces the size of terms by dropping parameter-like reconstructible function arguments. Thus, it is advisable to leave this optimization on, the flag is meant for lot of unary manipulations and doesn’t use builtin arithmetic likely becomes slower due to this optimization. If you find that this is the case, it is recommended to use a different, but isomorphic type
    0 码力 | 304 页 | 375.60 KB | 1 年前
    3
共 46 条
  • 1
  • 2
  • 3
  • 4
  • 5
前往
页
相关搜索词
zig编程语言AgdaUserManualv26.1
IT文库
关于我们 文库协议 联系我们 意见反馈 免责声明
本站文档数据由用户上传或本站整理自互联网,不以营利为目的,供所有人免费下载和学习使用。如侵犯您的权益,请联系我们进行删除。
IT文库 ©1024 - 2025 | 站点地图
Powered By MOREDOC AI v3.3.0-beta.70
  • 关注我们的公众号【刻舟求荐】,给您不一样的精彩
    关注我们的公众号【刻舟求荐】,给您不一样的精彩