积分充值
 首页
前端开发
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文库
  • 综合
  • 文档
  • 文章

无数据

分类

全部后端开发(1122)综合其他(394)Java(362)Python(349)Spring(307)Weblate(302)云计算&大数据(225)数据库(163)C++(120)VirtualBox(105)

语言

全部英语(1725)中文(简体)(213)中文(繁体)(21)英语(6)日语(5)韩语(3)德语(2)葡萄牙语(2)俄语(2)

格式

全部PDF文档 PDF(1408)其他文档 其他(502)TXT文档 TXT(67)PPT文档 PPT(6)DOC文档 DOC(1)
 
本次搜索耗时 0.088 秒,为您找到相关结果约 1000 个.
  • 全部
  • 后端开发
  • 综合其他
  • Java
  • Python
  • Spring
  • Weblate
  • 云计算&大数据
  • 数据库
  • C++
  • VirtualBox
  • 全部
  • 英语
  • 中文(简体)
  • 中文(繁体)
  • 英语
  • 日语
  • 韩语
  • 德语
  • 葡萄牙语
  • 俄语
  • 全部
  • PDF文档 PDF
  • 其他文档 其他
  • TXT文档 TXT
  • PPT文档 PPT
  • DOC文档 DOC
  • 默认排序
  • 最新排序
  • 页数排序
  • 大小排序
  • 全部时间
  • 最近一天
  • 最近一周
  • 最近一个月
  • 最近三个月
  • 最近半年
  • 最近一年
  • pdf文档 Extending and Simplifying C++: Thoughts on Pattern Matching using 'is' and 'as', and Can C++ be 10x Simpler

    0 码力 | 108 页 | 5.08 MB | 5 月前
    3
  • epub文档 Agda User Manual v2.6.3

    Treeless Syntax Coverage Checking Single match on a non-indexed datatype Matching on multiple arguments Copattern matching Matching on indexed datatypes General case Cubical The interval and path types Simple datatypes Parametrized datatypes Indexed datatypes Strict positivity Flat Modality Pattern Matching on @♭ Foreign Function Interface Compiler Pragmas Haskell FFI JavaScript FFI Function Definitions fields Dependent irrelevant function types Irrelevant instance arguments Lambda Abstraction Pattern matching lambda Local Definitions: let and where let-expressions where-blocks Proving properties More Examples
    0 码力 | 379 页 | 354.83 KB | 1 年前
    3
  • epub文档 Agda User Manual v2.6.2.2

    Treeless Syntax Coverage Checking Single match on a non-indexed datatype Matching on multiple arguments Copattern matching Matching on indexed datatypes General case Cubical The interval and path types Simple datatypes Parametrized datatypes Indexed datatypes Strict positivity Flat Modality Pattern Matching on @♭ Foreign Function Interface Compiler Pragmas Haskell FFI JavaScript FFI Function Definitions Irrelevant instance arguments Subtyping of irrelevant function spaces Lambda Abstraction Pattern matching lambda Local Definitions: let and where let-expressions where-blocks Proving properties More Examples
    0 码力 | 354 页 | 433.60 KB | 1 年前
    3
  • epub文档 Agda User Manual v2.6.2

    Treeless Syntax Coverage Checking Single match on a non-indexed datatype Matching on multiple arguments Copattern matching Matching on indexed datatypes General case Cubical The interval and path types Simple datatypes Parametrized datatypes Indexed datatypes Strict positivity Flat Modality Pattern Matching on @♭ Foreign Function Interface Compiler Pragmas Haskell FFI JavaScript FFI Function Definitions Irrelevant instance arguments Subtyping of irrelevant function spaces Lambda Abstraction Pattern matching lambda Local Definitions: let and where let-expressions where-blocks Proving properties More Examples
    0 码力 | 348 页 | 414.11 KB | 1 年前
    3
  • epub文档 Agda User Manual v2.6.2.1

    Treeless Syntax Coverage Checking Single match on a non-indexed datatype Matching on multiple arguments Copattern matching Matching on indexed datatypes General case Cubical The interval and path types Simple datatypes Parametrized datatypes Indexed datatypes Strict positivity Flat Modality Pattern Matching on @♭ Foreign Function Interface Compiler Pragmas Haskell FFI JavaScript FFI Function Definitions Irrelevant instance arguments Subtyping of irrelevant function spaces Lambda Abstraction Pattern matching lambda Local Definitions: let and where let-expressions where-blocks Proving properties More Examples
    0 码力 | 350 页 | 416.80 KB | 1 年前
    3
  • pdf文档 Agda User Manual v2.6.4

    a = cons a (cycle a) Instead, you can use copattern matching: cycle a .hd = a cycle a .tl = cycle a It is also possible to use copattern-matching lambdas: 44 Chapter 3. Language Reference Agda User backward-2 enum-Nat 5 ≡ 3 test2 = refl Note that if we want to use automated case-splitting and pattern matching to implement one of the fields, we need to do so in a separate definition. With copatterns, we zero = zero pred (suc x) = x With copatterns, we can do the case analysis directly by pattern matching: open Enumeration enum-Nat : Bool → Enumeration Nat start (enum-Nat true) = 42 start (enum-Nat
    0 码力 | 313 页 | 1.38 MB | 1 年前
    3
  • pdf文档 Agda User Manual v2.6.3

    a = cons a (cycle a) Instead, you can use copattern matching: cycle a .hd = a cycle a .tl = cycle a It is also possible to use copattern-matching lambdas: 44 Chapter 3. Language Reference Agda User backward-2 enum-Nat 5 ≡ 3 test2 = refl Note that if we want to use automated case-splitting and pattern matching to implement one of the fields, we need to do so in a separate definition. With copatterns, we zero = zero pred (suc x) = x With copatterns, we can do the case analysis directly by pattern matching: open Enumeration enum-Nat : Bool → Enumeration Nat start (enum-Nat true) = 42 start (enum-Nat
    0 码力 | 288 页 | 1.24 MB | 1 年前
    3
  • pdf文档 Agda User Manual v2.6.4.1

    a = cons a (cycle a) Instead, you can use copattern matching: cycle a .hd = a cycle a .tl = cycle a It is also possible to use copattern-matching lambdas: 44 Chapter 3. Language Reference Agda User backward-2 enum-Nat 5 ≡ 3 test2 = refl Note that if we want to use automated case-splitting and pattern matching to implement one of the fields, we need to do so in a separate definition. With copatterns, we zero = zero pred (suc x) = x With copatterns, we can do the case analysis directly by pattern matching: open Enumeration enum-Nat : Bool → Enumeration Nat start (enum-Nat true) = 42 start (enum-Nat
    0 码力 | 311 页 | 1.38 MB | 1 年前
    3
  • pdf文档 Agda User Manual v2.6.4.3

    a = cons a (cycle a) Instead, you can use copattern matching: cycle a .hd = a cycle a .tl = cycle a It is also possible to use copattern-matching lambdas: cycle' : ∀{A} → A → Stream' A cycle' a = ? backward-2 enum-Nat 5 ≡ 3 test2 = refl Note that if we want to use automated case-splitting and pattern matching to implement one of the fields, we need to do so in a separate definition. With copatterns, we zero = zero pred (suc x) = x With copatterns, we can do the case analysis directly by pattern matching: open Enumeration enum-Nat : Bool → Enumeration Nat start (enum-Nat true) = 42 start (enum-Nat
    0 码力 | 311 页 | 1.38 MB | 1 年前
    3
  • pdf文档 Agda User Manual v2.6.4.2

    a = cons a (cycle a) Instead, you can use copattern matching: cycle a .hd = a cycle a .tl = cycle a It is also possible to use copattern-matching lambdas: cycle' : ∀{A} → A → Stream' A cycle' a = ? backward-2 enum-Nat 5 ≡ 3 test2 = refl Note that if we want to use automated case-splitting and pattern matching to implement one of the fields, we need to do so in a separate definition. With copatterns, we zero = zero pred (suc x) = x With copatterns, we can do the case analysis directly by pattern matching: open Enumeration enum-Nat : Bool → Enumeration Nat start (enum-Nat true) = 42 start (enum-Nat
    0 码力 | 311 页 | 1.38 MB | 1 年前
    3
共 1000 条
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 100
前往
页
相关搜索词
ExtendingandSimplifyingC++ThoughtsonPatternMatchingusingisasCanbe10xSimplerSaferAgdaUserManualv26.36.26.4
IT文库
关于我们 文库协议 联系我们 意见反馈 免责声明
本站文档数据由用户上传或本站整理自互联网,不以营利为目的,供所有人免费下载和学习使用。如侵犯您的权益,请联系我们进行删除。
IT文库 ©1024 - 2025 | 站点地图
Powered By MOREDOC AI v3.3.0-beta.70
  • 关注我们的公众号【刻舟求荐】,给您不一样的精彩
    关注我们的公众号【刻舟求荐】,给您不一样的精彩