#函数

What Color Is Your Function?(journal.stuffwithstuff.com)
2020-5-19 13:5
我不知道你怎么想,但是没有什么比一种老式的编程语言咆哮更能让我早上行动起来了。看到有人使用平民使用的那种“鲸鱼”语言,在偷偷访问StackOverflow的间隙蒙混过关,这会激起人们的愤怒。 (同时,你和我只使用最开明的语言。(为像我们这样的专业工匠修剪指甲的手设计的凿子工具。)。 当然,作为Said Screed的......
2020-5-17 8:17
这是关于随机甲骨文模型的一系列帖子中的第一篇。*对于一些人的品味来说,这可能会有点不稳定,所以如果你对可证明的安全不感兴趣,没问题。“一旦我把这件事从我的系统中拿出来,我会带回更多关于软件和物理安全的信息。 碰巧今天我计划讲授一门关于可证明安全和“随机Oracle模型”的课程。“在整理我的想法时,我突然想到,a)这门......
2020-5-8 14:44
我们最近决定大幅扩展Dark的标准库。虽然我们的标准库为Dark“框架”提供了很多功能,包括HTTP、Worker/Queue和数据存储函数,但我们在“包含电池”语言中所期望的常规函数(如用于数学和操作标准数据类型(如列表、字典、数字和字符串)的函数)上略显不足。 作为更快发货的捷径,我们决定从榆树标准库开始。ELM......
Close Look at CSRF Tokens(denvaar.github.io)
2020-5-7 19:56
我开始了解CSRF令牌是如何生成和验证的。我是通过在Phoenix web应用程序中跟踪函数调用流来做到这一点的。这是一个让我陷入一些深洞的过程,但最终是一次有益的经历。对本文的具体细节不太感兴趣的读者可以跳到底部的摘要部分查找TL; 本文详细介绍了CSRF令牌的生命周期。为了开始我们的旅程,我们将导航到正文中包含H......
2020-5-6 0:18
我最近花了很多时间编写茴香,并为它的编译器做贡献。由于它是一种编译Tolua的语言,这也意味着需要花费大量时间来了解Lua。本文将集中讨论Lua(不过我会在脚注中不时提到茴香)。 Lua是一种整洁、优雅、相对简单的语言。我发现它特别值得注意的是它可以嵌入到其他程序中;能够承载多种不同风格的编程;以及它的一个实现Lua......
Joy (Programming Language)(en.wikipedia.org)
2020-5-2 18:6
跳转到导航跳转到搜索计算机科学中的Joy编程语言是一种纯函数式编程语言,由澳大利亚墨尔本拉特洛比大学的Manfred von Thun开发。Joy基于函数的组合,而不是λ演算。事实证明,它与Forth有许多相似之处,这不是因为设计,而是因为一种并行的进化和融合。它的灵感也来自于John Backus的FP的函数级编程......