论坛站务软件水平考试华为认证计算机等级PMP认证思科认证Photoshop3DMAX编程语言移动开发系统运维产品运营淘宝营销办公软件Ps修图云计算大数据摄影就业

<p>Idris是一个类似Haskell的纯函数编程语言，类型系统支持dependent types。<br/></p><p><br/></p><ul class=" list-paddingleft-2"><li><p>依赖模式匹配的依赖类型系统<br/></p></li><li><p>简单的C函数接口<br/></p></li><li><p>编译器级别的编码支持<br/></p></li><li><p>where 语句, with 规则, 简单的case 表达式, 模式匹配 let 和 lambda 绑定<br/></p></li><li><p>Dependent records with projection and update<br/></p></li><li><p>Type classes<br/></p></li><li><p>类型驱动的重载方案<br/></p></li><li><p>do notation and idiom brackets<br/></p></li><li><p>缩进语法<br/></p></li><li><p>可扩充的语法<br/></p></li><li><p>Cumulative universes</p></li><li><p>整体验证<br/></p></li><li><p>类似Hugs的交互环境&nbsp;</p></li></ul><p><br/></p>

论坛站务软件水平考试华为认证计算机等级PMP认证思科认证Photoshop3DMAX编程语言移动开发系统运维产品运营淘宝营销办公软件Ps修图云计算大数据摄影就业