V2EX 首页   注册   登录
 lrxiao 最近的时间轴更新

lrxiao

  •   V2EX 第 217964 号会员,加入于 2017-02-28 15:39:37 +08:00,今日活跃度排名 5041
    lrxiao 最近回复了
    2 天前
    回复了 kunimi 创建的主题 Python 以后使用`pip install`命令的时候要小心了
    这居然修不好了
    2 天前
    回复了 kunimi 创建的主题 Python 以后使用`pip install`命令的时候要小心了
    emmm 最近刚看到 rust 瞬间修复了 crates.io 的包隐含恶意代码的信息
    @mozutaba 这是 DDOS 吗
    @reus 这啥逻辑
    关了就好..
    12 天前
    回复了 sensui7 创建的主题 Python js 党可以吐槽一下 Python 吗
    @lrxiao 说错了 这个是 Category 定义 Functor 是把 Category 作为 obj fmap 作为态射的 Category Monad 是 Endofunctor ( Hask 范畴里的所有 Functor 都是 Endofunctor Hask->Hask ) 上定义 Monoid 单位元 Id functor Endofunctor 组合为 Compose 或者说能实现 join :: F (F a) -> F a
    12 天前
    回复了 sensui7 创建的主题 Python js 党可以吐槽一下 Python 吗
    不过 py 也用不着后面跟一大坨..不是 Hs 那种严苛的纯 FP 存个 VM 里的状态无所谓
    12 天前
    回复了 sensui7 创建的主题 Python js 党可以吐槽一下 Python 吗
    list comprehension 的理论基础= = 那不就是个集合定义式吗 还 Monad Monad 只要求了态射的幺元和结合律
    12 天前
    回复了 sensui7 创建的主题 Python js 党可以吐槽一下 Python 吗
    @bramblex
    我说 map 这几个 lazy
    C 强类型怎么就笑话了 UB 写习惯了而已
    Monad 首先是个数学概念
    instance Monad [] 和这个 comprehension 糖只有[|...]后面一半 do-notation 的糖关系
    还只是[]的糖不能用在其他 Traversable 上
    py 还可以用 for-in 语法搞搞 generator/iterator 的 list comprehension 当然 python 后面这个语法太残了 不如 do-notation 灵活
    DigitalOcean
    关于   ·   FAQ   ·   API   ·   我们的愿景   ·   广告投放   ·   鸣谢   ·   619 人在线   最高记录 3541   ·  
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.7.5 · 33ms · UTC 22:59 · PVG 06:59 · LAX 15:59 · JFK 18:59
    ♥ Do have faith in what you're doing.
    沪ICP备16043287号-1