Haskell Night: LT モナドで恬る屎ｱ蹶Fコンビネ`タライブラリ
?
0 likes?899 views
2009定11埖20晩に佩われた仝Haskell Night々においてk燕されたスライド。
![g廾匯何
newtype Regex a =
Rx { runRegex :: (RxTarget -> [(RxTarget,
a)]) }
data RxTarget = RxTarget {
rxTargetBefore :: String, -- 剃
rxTargetMatched :: String, -- 剃
rxTargetAfter :: String }
instance Monad Regex where
m >>= next = Rx $ target -> let
thisCand = runRegex m target
getNextCand (target', a) = runRegex (next a) tar
get'
in concatMap getNextCand thisCand
return a = Rx $ target -> [(target, a)]](https://image.slidesharecdn.com/haskellnight-130903014407-phpapp02/85/Haskell-Night-LT-12-320.jpg)
![g廾ずみのC嬬
^ $ * ( ) *? . |
[ ]
瘁圭歌孚など
モナドで畠何できる](https://image.slidesharecdn.com/haskellnight-130903014407-phpapp02/85/Haskell-Night-LT-13-320.jpg)
Haskell Night: LT モナドで恬る屎ｱ蹶Fコンビネ`タライブラリ
- 2. 徭失B初 Haskell を岑ったのは 仝ふつける々が竃る磯定くらい念 2005 定挑くらい Java で駅ず final を原ける 徭蛍の來鯉によくマッチ 圻小 嫦埼 ┐呂蕕 あきひろ
- 4. きっかけ その 1 坪何 DSL では o尖 GHC 原奉の屎ｱ蹶Fライブラリが 屎ｱ蹶Fを仝猟忖双々としてQうことに音
- 5. きっかけ その 2 Yet Another Haskell Tutorial Chapter 9 "Monads" 119 ペ`ジ 仝 Haskell のグルになりたい宀のみモナドを恬れ々 仝されど、モナドの恬り圭が蛍かれば Haskell ライフ はよりNかになるだろう々
- 8. モナドの嬬薦議に辛嬬か バックトラックは 瘁圭歌孚は 愔莞 NFA ならば リストとW决uを聞って徭隼にける 冱Z坪 DSL のメリットを伏かせば 徭喇徭壓
- 9. こんな湖じに聞います testRegex :: Regex () testRegex = do rxCaret (matched, val) <- rxStar $ do rxOneChar 'a' rxOneChar 'b' rxOneChar 'c' rxOneChar 'd' rxDollar return () わかりやすさ嶷のため 庇L來には朕をつぶってください??? /^(ab)*cd $/ rxStar 參和で マッチした猟忖双 rxStar から卦される 販吭の
- 10. g處
- 12. g廾匯何 newtype Regex a = Rx { runRegex :: (RxTarget -> [(RxTarget, a)]) } data RxTarget = RxTarget { rxTargetBefore :: String, -- 剃 rxTargetMatched :: String, -- 剃 rxTargetAfter :: String } instance Monad Regex where m >>= next = Rx $ target -> let thisCand = runRegex m target getNextCand (target', a) = runRegex (next a) tar get' in concatMap getNextCand thisCand return a = Rx $ target -> [(target, a)]
- 13. g廾ずみのC嬬 ^ $ * ( ) *? . | [ ] 瘁圭歌孚など モナドで畠何できる
- 15. ご賠ありがとうございました