V2EX › zhuangzhuang1988 的所有回复 › 第 50 页 / 共 110 页

V2EX = way to explore

V2EX 是一个关于分享和探索的地方

现在注册

已注册用户请登录

1 ... 46 47 48 49 50 51 52 53 54 55 ... 110

❮

❯

2020-01-09 15:22:18 +08:00

回复了 FaiChou 创建的主题 › 程序员 › 你们认为函数式编程语言未来可期吗?

// Inspired by http://www.cs.utexas.edu/~wcook/Drafts/2006/MemoMixins.pdf

// State Monad combined with Continuation Monad (StateT Monad transformer)
type StateContMonad<'s, 'a, 'r> = StateContMonad of ('s -> ('s -> 'a -> 'r) -> 'r)

// Computation Builder
type StateContBuilder() =
member self.Return value =
StateContMonad (fun state k -> k state value)
member self.Bind(StateContMonad contStateMonad, f) =
StateContMonad (fun state k ->
contStateMonad state (fun state' value ->
let (StateContMonad contMonad') = f value
contMonad' state' k))
member self.Delay( f : unit -> StateContMonad<'s, 'a, 'r> ) =
StateContMonad (fun state k ->
let (StateContMonad contStateMonad) = f ()
contStateMonad state k)

let memo = new StateContBuilder()

// Tell me Y
let rec Y f v = f (Y f) v

// Map functions
let check (value : 'a) : StateContMonad<Map<'a, 'r>, option<'r>, 'r> =
StateContMonad (fun map k -> k map (Map.tryFind value map))

let store (argument : 'a, result : 'r) : StateContMonad<Map<'a, 'r>, unit, 'r> =
StateContMonad (fun map k -> k (Map.add argument result map) ())

// Memoization Mixin
let memoize f argument =
memo {
let! checkResult = check argument
match checkResult with
| Some result -> return result
| None ->
let! result = f argument
do! store (argument, result)
return result
}

let execute f n =
let (StateContMonad contStateMonad) = Y (memoize << f) n
contStateMonad Map.empty (fun _ value -> value)

// Example
let big (value : int) = new System.Numerics.BigInteger(value)

let fib f n =
if n = big 0 then memo { return big 0 }
elif n = big 1 then memo { return big 1 }
else
memo {
let! nMinus1Fib = f (n - big 1)
let! nMinus2Fib = f (n - big 2)
return nMinus1Fib + nMinus2Fib
}

execute fib (big 100000)

弟兄们来学习吧

2020-01-08 13:51:49 +08:00

回复了 Renco 创建的主题 › 程序员 › 上午水贴，睡傻了忘记带鼠标，获得了生产效率-50%的 debuff

@17681880207 大侠你牛.

2020-01-08 00:15:23 +08:00

回复了 djyde 创建的主题 › 程序员 › 从「后端现在已经看不懂前端了」说起

@avastms 哈哈, 不鼓吹会点 fp 的基础用法, 咋体现优越性

2020-01-07 21:41:58 +08:00

回复了 xkxy 创建的主题 › 问与答 › 各位大佬，平时都做些什么来提升自己的生活质量呢？

红烧肉

2020-01-04 19:46:25 +08:00

回复了 lvhuiyang 创建的主题 › Linux › 为什么手动编译后的 MongoDB 比官方提供的（包管理器下载）二进制版文件大这么多？

是不是编译的 debug 版本?