Introduction to ad-3.4, an automatic differentiation library in Haskell
Haskell Introduction
-
Upload
albertlee -
Category
Technology
-
view
2.311 -
download
2
description
Transcript of Haskell Introduction
Agenda
又一种“新语言?”
What is Haskell?
Real World Haskell
Live Show
Go on
2009年6月13日星期六
Another New Lang?
我不是来踢场的……
楼上有风景 —— 圣严法师
每年学习一门新的编程语言 —— Martin Fowler
练武不练功,到头一场空 —— 拳谚
2009年6月13日星期六
What is Haskell
History
Key words
2009年6月13日星期六
What is HaskellHistory
lambda calculus (Alonzo Church)
(1958 (Lisp (John McCarthy)))
1970s ML (Robin Milner) Clean, Miranda
1980s Haskell Committee
1998 Haskell 98
2009年6月13日星期六
What is Haskell?Key Words
! Pure functions ! Non-strict evaluation ! Immutable data ! Static, strong typing
2009年6月13日星期六
Real World Haskell
Jolt Winner:
* Real World Haskell by Bryan O'Sullivan, John Goerzen and Don Stewart (O'Reilly Media)
Good News:中文版
Bad News:翻译……
2009年6月13日星期六
Awesome !
XMonad
Pugs (陈凤女士)
Parsec
STM
2009年6月13日星期六
Live Show
GHC
Hierarchical Libraries
Hoogle & Hayoo
Play some code
2009年6月13日星期六
GHCi/GHC
functions
map/fold/filter
curry
types
list (take,drop, zip, [1..] [x * y | x <- ....])
2009年6月13日星期六
GHC
IO
Module
quicksort
2009年6月13日星期六
Go on……Type
Typeclass
Monad
Monad Transformer
Parsec
Concurrent & Multicore Programming
STM
2009年6月13日星期六