• 拥抱

  • 1篇参考文献[SW21488]
  • Haskell 98基元一元的 输入输出支持简单的交互式程序,访问文本…
  • EFF

  • 11篇参考文献[SW22621]
  • 反之单子变压器需要在一元的风格主要思想…更新状态,读写输入输出提高例外情况等行为。
  • 阿加达

  • 170篇参考文献[SW0969]
  • AGDA是一种依赖类型的函数式编程语言。