Hi Haskell

提纲 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

编程范式 (Programming Paradigm) ,[object Object],[object Object]

你知道并用过多少种编程范式？ ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Functional Programming ,[object Object],[object Object]

[object Object],[object Object],[object Object]

Lambda 表达式（匿名函数） ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

First-Class Function & High Order Function ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Currying(Partial Application)&High Order ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

高阶函数的应用 - 函数式 3D 建模 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Example - FieldTrip http://www.haskell.org/haskellwiki/FieldTrip ,[object Object],[object Object]

Example - FieldTrip ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Example - 函数式 3D 建模 ,[object Object]

Algebraic Data Type ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],递归的类型定义带一个参数的 Constructor 不带参数的 Constructor

Algebraic Data Type ,[object Object],[object Object],[object Object],[object Object]

Pattern Matching ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

某种多态的函数 ,[object Object],[object Object],[object Object]

Type Classes ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],OO 的 class

Instance of Type Classes ,[object Object],[object Object],[object Object],[object Object]

Lazy Evaluation ,[object Object],[object Object]

Purity ,[object Object],[object Object]

Purity ,[object Object],[object Object],[object Object],[object Object],[object Object]

Purity ,[object Object],[object Object],[object Object],[object Object]

Referential Transparent ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

能用来做事吗？ ,[object Object],[object Object],[object Object]

IO Action ,[object Object],[object Object],[object Object],--putStrLn :: String -> IO () --main :: IO () main = putStrLn "Hi Haskell!"

Monad ,[object Object],[object Object],[object Object],[object Object]

Monad ,[object Object],[object Object],[object Object],Monad m a bind inject a (a -> m b)

Example - 函数式音乐编程 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Example - 函数式音乐编程 , Hommage Haskell Offline Music Manipulation And Generation EDSL http://substitut-fuer-feinmotorik.net/projects/haskellommage

线程 ,[object Object],[object Object],[object Object],[object Object]

Shared Mutable State Concurrency ,[object Object],[object Object],[object Object],[object Object]

Software Transactional Memory(STM) ,[object Object],[object Object],[object Object],[object Object]

STM Sample ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

事务执行 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Composable STM ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

让我们并行地工作吧！ ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

让我们并行地工作吧！ ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

并行 FP 并不遥远 ,[object Object],[object Object]

并行 FP 并不遥远 ,[object Object],[object Object],[object Object]

用 Haskell 做一个简单的 MapReduce 框架 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

异构并行计算 ,[object Object],[object Object],[object Object],[object Object],[object Object]

Example - 函数式 GPU 编程 ,[object Object],[object Object]

Parser Combinator ,[object Object],[object Object],[object Object],[object Object]

Example - Parser Combinator for JavaScript ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

这些 EDSL 的共同点 ,[object Object],[object Object],[object Object]

性能 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

真有人用它来做产品吗？

本次分享的起因 ,[object Object],[object Object],[object Object]

关于我 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Hi Haskell

Recommended

Recommended

More Related Content

What's hot

What's hot (19)

Similar to Hi Haskell

Similar to Hi Haskell (20)

Recently uploaded

Recently uploaded (12)

Hi Haskell