书栈网 · BookStack 本次搜索耗时 0.050 秒,为您找到 651 个相关结果.
  • 惰性求值

    惰性求值 简介 用于惰性求值的函数 惰性求值的简单例子 使用惰性求值表示无限序列 无限序列的基本函数和宏 无限序列 下一个项由前一项定义的序列 菲波那切数列 将惰性求值用于数值计算 牛顿-拉夫逊法求平方根 数值微分 数值积分 小结 惰性求值 简介 惰性求值(Lazy evaluation)是在需要时才进行求值的计算方式。...
  • Run-time Irrelevance

    Run-time Irrelevance Syntax Rules References Run-time Irrelevance From version 2.6.1 Agda supports run-time irrelevance (or erasure) annotations. Values marked as erased are ...
  • Run-time Irrelevance

    Run-time Irrelevance Syntax Rules References Run-time Irrelevance From version 2.6.1 Agda supports run-time irrelevance (or erasure) annotations. Values marked as erased are ...
  • 7.2 操作DOM

    操作DOM 修改Text和HTML 修改CSS 显示和隐藏DOM 获取DOM信息 操作表单 操作DOM jQuery的选择器很强大,用起来又简单又灵活,但是搞了这么久,我拿到了jQuery对象,到底要干什么? 答案当然是操作对应的DOM节点啦! 回顾一下修改DOM的CSS、文本、设置HTML有多么麻烦,而且有的浏览器只有innerHTM...
  • Reinventing the Reader monad

    seriesOrder: 6 Series contents Part 6: Designing your own elevated world Defining the domain and a dummy ApiClient A first implementation attempt A second implementation attem...
  • Sessions

    Sessions Clientsession Controlling sessions Session Operations Messages Initial page load, no message New message entered in text box After form submit, message appears at t...
  • Zippers 数据结构 - Zippers

    1050 2018-05-12 《HASKELL 趣学指南》
    Zippers 数据结构 来走二元树吧! 凡走过必留下痕迹 Going back up Manipulating trees under focus I’m going straight to top, oh yeah, up where the air is fresh and clean! 来看串列 阳春的文件系统 A zipper for ...
  • Sessions

    Sessions Clientsession Controlling sessions Session Operations Messages Initial page load, no message New message entered in text box After form submit, message appears at t...
  • 4.1 概述

    607 2021-03-19 《Julia 编程基础》
    4.1 概述 4.1.1 三个要点 4.1.2 一个特点 4.1 概述 严格来说,Julia 属于动态类型语言。或者说,Julia 的类型系统是动态的。但是,我们却可以为变量附加类型标注,以使它的类型固化。虽然有些传统的动态类型语言(比如 Python)也可以为变量添加类型信息,但那最多也只能算是一种注释,并不属于其类型系统的一部分。相比之下,一...
  • 瓶中之船

    瓶中之船 协调与激励 lift 操作符 免费开瓶器 定律 同一律(identity) 同态(homomorphism) 互换(interchange) 组合(composition) 总结 练习 瓶中之船 ap 就是这样一种函数,能够把一个 functor 的函数值应用到另一个 functor 的值上。把这句话快速地说上 ...