Python
Java
PHP
IOS
Android
Nodejs
JavaScript
Html5
Windows
Ubuntu
Linux
OCaml 类型推断算法如何工作?
我目前正在学习 OCaml 我很好奇 OCaml 如何进行类型推断 我知道这是通过一个称为统一的过程完成的 我尝试阅读已发表论文中的算法 但符号让我失望 谁能为我描述一下分步过程 实际上 可以说统一是算法的实现细节 类型系统只是一组规则 这
types
functionalprogramming
ocaml
在值构造函数中指定类约束
有没有办法为值构造函数的参数定义类约束 像这样的东西 data Point2D Num a gt Point a a 那么 Point 可以接受任何参数 只要它们属于 Num 类 您可以使用ExistentialQuantification
Haskell
constructor
functionalprogramming
采用函数式语言的 Kernighan & Ritchie 字数统计示例程序
我最近在网上阅读了一些有关函数式编程的内容 我想我对其背后的概念有了基本的了解 我很好奇涉及某种状态的日常编程问题是如何用纯函数式编程语言解决的 例如 C 编程语言 一书中的字数统计程序如何用纯函数语言实现 只要解决方案是纯函数式的 我们欢
Haskell
Clojure
functionalprogramming
SCHEME
commonlisp
相当于Python中F#的Seq.scan()方法吗?
有没有类似F 的函数Seq scan 在Python中 我想做一些cumsum or cumproduct 没有循环的事情 我认为 Ignacio 的解决方案几乎是正确的 但需要类型为 a gt a gt a 的运算符 并且不会产生第一个元
python
F
functionalprogramming
如何在 Mac 上安装 Standard ML 的工作版本?
我使用的是 Mac OSX 10 7 5 但我似乎无法下载可用的 REPL 的标准 ML 编译器 这应该有这么难吗 我应该下载一个最好的 ML 吗 我尝试过 SML NJ 和 MLton 但没有成功 Mac 用户也可以使用 brew ins
functionalprogramming
SML
smlnj
Promise 相对于 CPS 和 Continuation Functor/Monad 有什么优势?
ES6 的承诺 ES6 Promise 是有限状态机 因此需要复杂的实现 除此之外 Promise A 规范还有很多不足之处 超载then 地图 链 递归扁平化 then able同化 自动升降 多个订阅者 多播 热切评价 多播分发和急切求
javascript
Asynchronous
functionalprogramming
promise
es6promise
在 Haskell 中使用填充进行压缩
有几次我发现自己想要一个zip在 Haskell 中 它会向较短的列表添加填充 而不是截断较长的列表 这很容易写 Monoid在这里对我有用 但您也可以只传递要用于填充的元素 zipPad Monoid a Monoid b gt a gt
Haskell
functionalprogramming
如何柯里化任意数量的 JavaScript 函数?
假设我有一些功能 function g a b c return a b c 我想将其转换为 柯里化 形式 在引号中 因为它本身并不完全柯里化 function h a b c switch true case a undefined b
javascript
functionalprogramming
currying
Haskell:输入“导入”时解析错误
我正在尝试重新创建输出这个哈斯克尔代码 forM flip mapM import Control Monad Cont main do forM 1 3 i gt do print i forM 7 9 j gt do print j w
Haskell
functionalprogramming
在 C# 中功能性地遍历一棵树
考虑 C 中的以下扩展方法 Traverse IEnumerable
c
LINQ
functionalprogramming
为什么此 F# 函数需要括号?
为什么需要括号read rest of csv below let read rest of csv csv data Add csv fileH ReadFields gt ignore not csv fileH EndOfData w
F
functionalprogramming
let
什么是“无点”风格(在函数式编程中)?
我最近注意到的一个短语是 无点 风格的概念 首先 有this问题 以及还有这个 然后 我发现here他们提到 另一个可能值得讨论的话题是作者对无点风格的厌恶 什么是 无点 风格 有人可以给出简洁的解释吗 它与 自动 柯里化有关吗 为了了解我
functionalprogramming
codingstyle
SCHEME
pointfree
C# ToDictionary 的 JavaScript 等效项
我正在寻找一种方法来获取以下列表 directory name Albert age 40 gender M name Suzanne age 27 gender F name Robert age 19 gender M name Con
javascript
Dictionary
functionalprogramming
类似的 Try 块在 scala 中尝试/finally 块
scala 的类似方式是什么Try to timer start try doThis finally timer cancel 鉴于 a 内的异常Try只需创建一个Failure值 与使用时将控制转移到外部 catch 块相反 try 你
scala
functionalprogramming
Clojure - 埃拉托斯特尼的尾递归筛
我在 Clojure 中实现了埃拉托斯特尼筛法 defn sieve n loop last tried 2 sift range 2 inc n if or nil last tried gt last tried n sift let
Algorithm
Clojure
functionalprogramming
primes
sieveoferatosthenes
有没有办法在 C 中进行柯里化?
假设我有一个指向函数的指针 stack push stack stk void el 我希望能够打电话curry stack push my stack 并返回一个只需要的函数void el 我想不出一种方法来做到这一点 因为 C 不允许运
c
functionalprogramming
currying
Python 3 中的 flatMap 还是 Bind?
Python 提供了提供映射 过滤器类型功能的列表推导式 我可以用它来做 flatMap 又名绑定操作吗 我见过使用 itertools 或其他附加库的解决方案 我可以用核心 Python 来做到这一点吗 this x 10 x for x
python
functionalprogramming
在Java流中添加多个字段(以及条件流操作)
假设我有这门课 public class Thing private BigDecimal field1 private BigDecimal field2 private BigDecimal otherField1 private Bi
Java
Lambda
functionalprogramming
java8
javastream
orElse 如何在偏函数上工作
我的行为非常奇怪 至少在我看来 orElse方法定义于PartialFunction 在我看来 val a PartialFunction String Unit case hello gt println Bye val b Partia
scala
functionalprogramming
readevalprintloop
partialfunction
如何使用 Ramda 实现使用无点递归来删除对象中的空值?
我正在学习 pointfree 函数 并尝试以这种风格实现这个递归空值删除器 有效 但是是not无点 function removeNulls obj return R ifElse R either R is Array R is Obj
javascript
recursion
functionalprogramming
pointfree
ramdajs
«
1 ...
33
34
35
36
37
38
39
40
»