之前在 Program League 回了 @ice1000 一句 Haskell 类型系统混乱的,不知是会被怒对心还是会被拉黑
其实我也不彻底理解 hs,但我很肯定 Haskell 这么搞类型系统肯定有点过分了...
而 hs 速度也不怎么样,跑分实在难以称之为很快,给我一种快不如 TruffleRuby 的感觉
也是后来才知道 Haskell 使用了某个计算机科学家造的 Hindley-Milner HM 类型系统,感觉混乱,特别是 Monad
感觉比较逻辑式?
其实我也不彻底理解 hs,但我很肯定 Haskell 这么搞类型系统肯定有点过分了...
而 hs 速度也不怎么样,跑分实在难以称之为很快,给我一种快不如 TruffleRuby 的感觉
也是后来才知道 Haskell 使用了某个计算机科学家造的 Hindley-Milner HM 类型系统,感觉混乱,特别是 Monad
感觉比较逻辑式?
大概的意思其实是我第一眼觉得 Hs 不必要的复杂化了问题但没有提升性能和易读性的其中之一(我理解 hs 恐怕还需要很长一段时间)
人家搞一大堆「新概念」,但未必为简化程序结构、提升表现力做了提升,反而可能是个坑,所以就直接喷了
Haskell 还表示自己是要搞 Industrial 的,可是,我没见过真的使用 Haskell 框架的后端工程师... (即使这样,我居然还能看到阮一峰的 FP 入门教程... 厉害)
果断去喷一波 FP
人家搞一大堆「新概念」,但未必为简化程序结构、提升表现力做了提升,反而可能是个坑,所以就直接喷了
Haskell 还表示自己是要搞 Industrial 的,可是,我没见过真的使用 Haskell 框架的后端工程师... (即使这样,我居然还能看到阮一峰的 FP 入门教程... 厉害)
果断去喷一波 FP
randomSum = do
x <- randomInteger
y <- randomInteger
pure (x + y)
randomSum = randomInteger >>= (\x ->
randomInteger >>= (\y ->
pure (x + y)))
randomSum = (+) <$> randomInteger <*> randomInteger
这是一段摘录的 Haskell 代码,还有我发现 hs 程序员特别喜欢证明交换律什么的....
比较下 C 和 Java 过程式/面向对象(过程式 + OO 系统...)更像平时我们解决问题的方式,数学的则更理想化一些,所以还搞个 Monad 函子屏蔽副作用,纯纯 naive 的世界