登录 注册
当前位置:主页 > 资源下载 > 9 > 使用GADT进行编码

使用GADT进行编码

  • 更新：2024-08-23 16:17:44
  • 大小：13KB
  • 推荐：★★★★★
  • 来源：网友上传分享
  • 类别：其它 - 开发技术
  • 格式：ZIP
文件下载

资源介绍

此存储库包含一些有趣的GADT代码段。 大多数代码都很简单，但是有些代码可能对您来说很复杂。 几乎没有人能达到令人jaw目结舌的水平... GADT的使用方式如下： 在编译时强制执行不变式，因此保证可以正确实现 更强大的数据结构，例如异构列表 也许更多...
相关推荐

热门标签

资源声明

本站所有软件、应用、教程内容均由小编以及网友收集资料和整理而来，其著作权归原作者所有，仅供学习和研究使用，如有侵犯你版权的，请发邮箱jdjdokok@163.com指出，本站将立即改正。

酷码网　 粤ICP备2024314634号