[B! Haskell] mzpã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

mzp id:mzp

Haskellã«é–¢ã™ã‚‹mzpã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (39)

${{author_name}}$

{{{comment_expanded}}}

{{label}}

{{#is_bookmark}}ãƒªã‚¹ãƒˆ{{/is_bookmark}}{{^is_bookmark}}ãƒªãƒ³ã‚¯{{/is_bookmark}}

${{author_name}}$
{{author_name}}{{created}}
{{ #comment }}{{ comment }}{{ /comment }}
- {{ label }}

${{author_name}}$

{{{comment_expanded}}}

{{label}}

{{#is_bookmark}}ãƒªã‚¹ãƒˆ{{/is_bookmark}}{{^is_bookmark}}ãƒªãƒ³ã‚¯{{/is_bookmark}}

ç¬¬58å›žã€€Cã®é…åˆ—ã‚’Haskellã§åˆ©ç”¨ã™ã‚‹
Haskellã§ã¯ã€ãƒªã‚¹ãƒˆã‚„é…åˆ—ã¨ã„ã£ãŸãƒ‡ãƒ¼ã‚¿æ§‹é€ ã«å¯¾ã™ã‚‹å‡¦ç†ã‚’é«˜é€ŸåŒ–ã™ã‚‹ãŸã‚ã«æ§˜ã€…ãªè©¦ã¿ãŒè¡Œã‚ã‚Œã¦ã„ã¾ã™ã€‚ã—ã‹ã—ã€æ®‹å¿µãªãŒã‚‰ç¾åœ¨ã®Haskellå‡¦ç†ç³»ã‚„ãƒ©ã‚¤ãƒ–ãƒ©ãƒªã®å®Ÿè£…ã«ã¯æ€§èƒ½é¢ã§ã¾ã ã¾ã èª²é¡ŒãŒã‚ã‚Šã¾ã™ï¼ˆå‚è€ƒãƒªãƒ³ã‚¯1ã€å‚è€ƒãƒªãƒ³ã‚¯2ï¼‰ã€‚Cã®é…åˆ—ã‚’Haskellã§ç›´æŽ¥åˆ©ç”¨ã™ã‚‹ã‚ˆã†ã«ã™ã‚Œã°ã€æ€§èƒ½ã®å‘ä¸Šã‚’æœŸå¾…ã§ãã¾ã™ã€‚ Cã§æ›¸ã‹ã‚ŒãŸOSã‚„ãƒ©ã‚¤ãƒ–ãƒ©ãƒªã®APIã«ã¯ã€Cã®é…åˆ—ï¼ˆãŠã‚ˆã³ãã†ã—ãŸé…åˆ—ã‚’æ‰±ã†Cã®é–¢æ•°ï¼‰ã‚’å¼•æ•°ã«å–ã‚‹ã‚‚ã®ã‚‚ã‚ã‚Šã¾ã™ã€‚Haskellã®FFIã‚’åˆ©ç”¨ã™ã‚Œã°ã€Haskellã‹ã‚‰Cã®é…åˆ—ã‚’åˆ©ç”¨ã§ãã¾ã™ã€‚ä»Šå›žã¯ã€ãã®æ–¹æ³•ã‚’ç´¹ä»‹ã—ã¾ã—ã‚‡ã†ã€‚ Cã®é…åˆ—ã‚’åˆ©ç”¨ã™ã‚‹æ–¹æ³• ç¬¬22å›žã§èª¬æ˜Žã—ãŸã‚ˆã†ã«ã€Haskellã®FFIã§ã¯Cã®ãƒã‚¤ãƒ³ã‚¿ã‚’Ptråž‹ã§è¡¨ç¾ã—ã¾ã™ã€‚Cã§ã¯ãƒã‚¤ãƒ³ã‚¿ã‚’ä½¿ã£ã¦é…åˆ—ã‚’å‚ç…§ã™ã‚‹ã®ã§ã€Ptråž‹ã‚’ä½¿ãˆã°Haskellã§Cã®é…åˆ—ã‚’åˆ©ç”¨ã§ãã¾ã™ã€‚ ãŸã ã—ã€ãƒã‚¤ãƒ³ã‚¿ã‚’æ“ä½œã™ã‚‹Storableã‚¯
mzp 2013/08/10
Haskell

FFI
ãƒªãƒ³ã‚¯
ç¬¬22å›žã€€FFIã‚’ä½¿ã£ã¦ä»–ã®è¨€èªžã®é–¢æ•°ã‚’å‘¼ã³å‡ºã™
Haskellã‚’ä½¿ã£ã¦ã‚¢ãƒ—ãƒªã‚±ãƒ¼ã‚·ãƒ§ãƒ³ã‚’ä½œæˆã—ã‚ˆã†ã¨ã™ã‚‹ã¨ï¼Œãƒ©ã‚¤ãƒ–ãƒ©ãƒªã®æ©Ÿèƒ½ä¸è¶³ã«éé‡ã™ã‚‹ã“ã¨ãŒã‚ã‚Šã¾ã™ã€‚ä¸è¶³ã—ã¦ã„ã‚‹ã“ã†ã—ãŸæ©Ÿèƒ½ã®ä¸ã«ã¯ï¼ŒCè¨€èªžã§æ›¸ã‹ã‚ŒãŸãƒ©ã‚¤ãƒ–ãƒ©ãƒªã‚„OSã®APIãªã©ã®åŠ›ã‚’å€Ÿã‚Šãªã‘ã‚Œã°è¨˜è¿°ã§ããªã„ã‚‚ã®ãŒã‚ã‚Šã¾ã™ã€‚ ã“ã®ãŸã‚Haskellã§ã¯ï¼Œç¬¬7å›žã§è§¦ã‚ŒãŸã‚ˆã†ã«ï¼Œå®Ÿè¡Œç’°å¢ƒã®å¤–ã«ã‚ã‚‹ä»–è¨€èªžã®ãƒ©ã‚¤ãƒ–ãƒ©ãƒªã‚’æ‰±ã†ãŸã‚ã«FFIã¨ã„ã†æ©Ÿèƒ½ã‚’ç”¨æ„ã—ã¦ã„ã¾ã™ã€‚FFIã‚’ä½¿ãˆã°ï¼ŒHaskellã«ã¯ãªã„æ©Ÿèƒ½ã‚’å®Ÿè£…ã§ãã¾ã™ã€‚ ä»Šå›žã¯FFIã®åŸºæœ¬çš„ãªä½¿ã„æ–¹ã‚’èª¬æ˜Žã—ã¾ã™ã€‚ FFIä½¿ç”¨ã®æœ€åˆã®ä¸€æ© æœ€åˆã«ï¼ŒFFIã‚’ä½¿ã£ãŸã”ãç°¡å˜ãªé–¢æ•°å‘¼ã³å‡ºã—ã‚’è¦‹ã¦ã¿ã¾ã—ã‚‡ã†ã€‚ä»¥ä¸‹ã®ã‚ˆã†ãªã‚³ãƒ¼ãƒ‰ã§ï¼ŒHaskellã‹ã‚‰Cã®é–¢æ•°ã‚’å‘¼ã³å‡ºã™ã“ã¨ãŒã§ãã¾ã™ã€‚ {-# LANGUAGE ForeignFunctionInterface #-} module SimpleFFIExample where foreign impor
mzp 2013/08/03
Haskell

FFI
ãƒªãƒ³ã‚¯
Haskellã‹ã‚‰Cãƒ©ã‚¤ãƒ–ãƒ©ãƒªã‚’å‘¼ã¶(FFI) - yunomuã®ãƒ–ãƒã‚°
Haskellã®ãªã‚“ã§ã‚‚ã‚¢ãƒªå…·åˆã€‚ ãƒ©ã‚¤ãƒ–ãƒ©ãƒªã‚’ãƒ“ãƒ«ãƒ‰ã—ã¦ã‚‹ã¨ã¡ã‚‡ã„ã¡ã‚‡ã„è¦‹ãˆã‚‹FFIã¨ã„ã†æ–‡å—åˆ—ã€æ°—ã«ãªã£ã¦èª¿ã¹ã¦ã¿ã‚‹ã¨ã€ForeignFunctionInterfaceã¨ã„ã†ã‚‚ã®ãŒã‚ã£ã¦ã€ã“ã‚Œã¯Haskellã‹ã‚‰Cã®é–¢æ•°ã‚’å‘¼ã³å‡ºã™ãŸã‚ã®ãƒ¢ã‚¸ãƒ¥ãƒ¼ãƒ«ã¨ã„ã†ã‹æ‹¡å¼µã‚‰ã—ã„ã€‚ Haskellã®ã‚‚ã®ã™ã”ã„ãƒ©ã‚¤ãƒ–ãƒ©ãƒªã®å……å®Ÿåº¦ã®å½±ã«ã¯ã“ã†ã„ã†ã‚‚ã®ãŒã‚ã£ãŸã‚Šã™ã‚‹ã‚“ã§ã™ãã€‚ ã¨ã„ã†ã“ã¨ã§ã¡ã‚‡ã£ã¨éŠã‚“ã§ã¿ã¾ã—ãŸã€‚ ã ã„ãŸã„ã“ã®è¨˜äº‹ã®ãƒˆãƒ¬ã‚¹ã§ã™ã€‚ æœ¬ç‰©ã®ãƒ—ãƒã‚°ãƒ©ãƒžã¯Haskellã‚’ä½¿ã† - ç¬¬22å›žã€€FFIã‚’ä½¿ã£ã¦ä»–ã®è¨€èªžã®é–¢æ•°ã‚’å‘¼ã³å‡ºã™ï¼šITpro æ—¢å˜ã®ãƒ©ã‚¤ãƒ–ãƒ©ãƒªã‚’å‘¼ã¶ ä¸Šã®è¨˜äº‹ã«ç¿’ã£ã¦ã€libmã®sinã‚’å‘¼ã³å‡ºã—ã¦ã¿ã¾ã™ã€‚ ã¾ãšã€ä½•ã¯ãªãã¨ã‚‚manã§ã™ã€‚sin(3)ã®manã‚’è¦‹ã‚‹ã¨ã€ NAME sin, sinf, sinl - sine function SYNOPSIS #include doubl
mzp 2013/08/03
Haskell

FFI
ãƒªãƒ³ã‚¯
ãƒ‡ã‚¶ã‚¤ãƒ³Arafura - Metasepi
mzp 2013/05/13
jhc

haskell
ãƒªãƒ³ã‚¯
Ajhcãƒ—ãƒã‚¸ã‚§ã‚¯ãƒˆã¯ã˜ã‚ã‚ˆã† - Metasepi
Table of contents ã¾ãšæœ€åˆã®æ”¹é€ ã¯ï¼Ÿ ã©ã“ã‚‰ã¸ã‚“ã‚’ä¿®æ£ã—ãŸã®ï¼Ÿ Ajhcãƒ—ãƒã‚¸ã‚§ã‚¯ãƒˆã¯ã©ã“ã¸å‘ã‹ã†ã®ï¼Ÿ ã“ã‚Œã¾ã§ jhc ã®ã‚½ãƒ¼ã‚¹ã‚³ãƒ¼ãƒ‰ã‚’èªã¿ãªãŒã‚‰å°‘ã—ãšã¤æ”¹é€ ã‚’ã—ã¦éŠã‚“ã§ã„ãŸã§ã‚²ã‚½ãŒã€ ãã‚ãã‚patchãŒå¢—ãˆã¦ãã¦ã¾ã£ã¨ã†ãªãƒªãƒã‚¸ãƒˆãƒªã‚’ç”¨æ„ã—ãªã„ã¨ç ´ç¶»ã—ãã†ã§ã‚²ã‚½ã€‚ ã§ãã‚Œã°patchã‚’jhcæœ¬å®¶ã«å–ã‚Šè¾¼ã‚“ã§ã‚‚ã‚‰ã„ãŸã„ã¨ã“ã‚ã§ã‚²ã‚½ã€‚ ã¨ã“ã‚ãŒåŽŸä½œè€…ã®JohnãŒã©ã†ã‚‚å¿™ã—ã„ã‚‰ã—ãã€ãªã‹ãªã‹mergeã—ã¦ãã‚Œãªã„ã§ã‚²ã‚½â€¦ 1 ã‚ã¾ã‚Šãƒ—ãƒã‚¸ã‚§ã‚¯ãƒˆã®forkã‚’ã—ãŸããªã„ã¨ã“ã‚ã§ã‚²ã‚½ãŒã€ ã“ã®ã¾ã¾ã§ã¯ä½œæ¥ãŒé€²ã¾ãªã„ã®ã§jhcå‘ã‘patchã‚’è²¯ã‚ã‚‹ã ã‘ã®ãƒ—ãƒã‚¸ã‚§ã‚¯ãƒˆã‚’ä½œã£ãŸã§ã‚²ã‚½ã€‚ ãã®åã‚‚ Ajhc - arafura-jhc 2 ã§ã‚²ãƒƒã‚½! ã¾ãšæœ€åˆã®æ”¹é€ ã¯ï¼Ÿ ã¨ã¯ã„ãˆæ”¹é€ ã«ã‚ãŸã£ã¦ä½•ã‹ãƒ†ãƒ¼ãƒžã‚’æ±ºã‚ãŸã„ã§ã‚²ã‚½ã€‚ jhcã¯å°ã•ãªãƒã‚¤ãƒŠãƒªã‚’åã‘ã‚‹ã®ã ã‹ã‚‰ã€å°ã•ãªãƒžã‚¤ã‚³ãƒ³ã§Hask
mzp 2013/05/12
jhc

haskell
ãƒªãƒ³ã‚¯
Ajhc - Haskell everywhere
*** We are closing Ajhc project. *** Metasepi Arafura iteration is closed. We decided to use ATS Programming Language for our next iteration. After merging Ajhc's Context Local Heap into jhc, this project will be shutdown. Please use jhc instead of Ajhc. The jhc-components may be useful, if you can't build original jhc. History of Ajhc Haskell compiler Please read Metasepi Foundation report in Jap
mzp 2013/04/21
Haskell
ãƒªãƒ³ã‚¯
http://www.jmuk.org/diary/index.php/2008/11/14/0/
mzp 2010/07/04
Haskellã®Charå›žã‚Šã®è©±

Haskell

utf8
ãƒªãƒ³ã‚¯
Applicativeå‹‰å¼·ä¸ï¼šApplicativeã¨ãƒ¢ãƒŠãƒ‰ - å–ã‚Šæ€¥ãŽãƒ–ãƒã‚°ã§ã™
æ˜¨æ—¥ã¯ãƒªã‚¹ãƒˆã¸ã®é–¢æ•°é©ç”¨ã‹ã‚‰Applicativeãƒ‘ã‚¿ãƒ¼ãƒ³ã‚’è¦‹ã¤ã‘ã‚‹ã¨ã“ã‚ã¾ã§ã‚„ã‚Šã¾ã—ãŸã€‚ã§ã‚‚ã€GoFã‚‚ã„ã†ã‚ˆã†ã«ã€ãƒ‘ã‚¿ãƒ¼ãƒ³ã¨ã„ã‚ã‚Œã‚‹ã‹ã‚‰ã«ã¯ã€ã‚ã¡ã“ã¡ã§ä¼¼ãŸã‚ˆã†ãªç”¨ä¾‹ãŒè¦‹ã¤ã‹ã‚‰ãªã„ã¨ãŠã‹ã—ã„ã§ã™ã‚ˆã...è«–æ–‡ã§ã¯ã€ãƒªã‚¹ãƒˆã®ã»ã‹ã«ãƒ¢ãƒŠãƒ‰ã‚‚ä¾‹ã¨ã—ã¦å–ã‚Šä¸Šã’ã¦ã„ã¾ã™ã€‚å…ˆæ—¥è©±ã—ãŸapé–¢æ•°ãŒãƒ¢ãƒŠãƒ‰ã§ã®<*>ã«ã‚ãŸã‚Šã¾ã™ï¼š ap :: Monad m => m (a -> b) -> m a -> m b ap :: (Monad m) => m (a -> b) -> m a -> m b ap = liftM2 id liftM2 :: (Monad m) => (a1 -> a2 -> r) -> m a1 -> m a2 -> m r liftM2 f m1 m2 = do { x1 <- m1; x2 <- m2; return (f x1 x2) } ã¨ã„ã†ã®ãŒapã®å®šç¾©ã§ã—ãŸã€‚ ãã—ã¦
mzp 2009/02/03
*ãƒ—ãƒã‚°ãƒ©ãƒ

Haskell

Arrow
ãƒªãƒ³ã‚¯
ãƒ•ã‚¡ãƒ³ã‚¯ã‚·ãƒ§ãƒ³å€¶æ¥½éƒ¨ã§è©±ã—ã¦ãã¾ã—ãŸ - ãƒˆã‚¦ãƒ•æ—¥è¨˜
http://www.slideshare.net/nskj77/arrow-presentation-706164 ãƒ•ã‚¡ãƒ³ã‚¯ã‚·ãƒ§ãƒ³å€¶æ¥½éƒ¨ã§è©±ã—ã¦ãã¾ã—ãŸã€‚ã‚¹ãƒ©ã‚¤ãƒ‰ã‚’SlideShareã«upã—ã¾ã—ãŸã€‚ã‚¤ãƒ™ãƒ³ãƒˆã§ã„ãŸã ã„ãŸæŒ‡æ‘˜ã¨ãã®ã»ã‹è‹¥å¹²ã®ä¿®æ£ã‚’ã—ã¦ã‚ã‚Šã¾ã™ã€‚ ustã§è¦–è´ã—ã¦ã„ãŸã ã„ãŸæ–¹ã‚ã‚ŠãŒã¨ã†ã”ã–ã„ã¾ã—ãŸã€‚ã‚¤ãƒ™ãƒ³ãƒˆã«æ¥ã¦ã„ãŸã ã„ãŸæ–¹ã€é ã„ã¨ã“ã‚æœ¬å½“ã«ã‚ã‚ŠãŒã¨ã†ã”ã–ã„ã¾ã—ãŸã€‚ç‰¹ã«ç™ºè¡¨å¾Œã«è³ªå•ã¨æŒ‡æ‘˜ã‚’ã„ãŸã ã„ãŸã€[1..100]>>=penã•ã‚“ã€id:nobusunã•ã‚“ã€id:hyoshiokã•ã‚“ã€lchinã•ã‚“è³ªå•ã®æ™‚é–“ã«æ‰‹ã‚’ã‚ã’ã¦ã„ãŸã ã„ã¦ã¨ã¦ã‚‚ã†ã‚Œã—ã‹ã£ãŸã§ã™ã€‚ã‚ã‚“ã¾ã‚Šã†ã¾ãç”ãˆã‚‰ã‚Œãªãã¦ã™ã„ã¾ã›ã‚“ã§ã—ãŸã€‚Control.Applicativeã‚„ãƒ‡ãƒãƒƒã‚°ã«ã¤ã„ã¦ãªã©å‹‰å¼·ã—ã¦ãŠãã¾ã™ã€‚ ã‚¤ãƒ™ãƒ³ãƒˆã‚¹ã‚¿ãƒƒãƒ•ã®ã‚ªãƒ–ã‚¸ã‚§ã‚¯ãƒˆå€¶æ¥½éƒ¨ã®ã¿ã‚“ãªã€ç™ºè¡¨è€…ã®ãƒ•ã‚¡ãƒ³ã‚¯ã‚·ãƒ§ãƒ³å€¶æ¥½éƒ¨ã®ã¿ã‚“ãªã€ã‚ã‚ŠãŒã¨ã†ã”
mzp 2009/02/03
*ãƒ—ãƒã‚°ãƒ©ãƒ

Haskell

Arrow
ãƒªãƒ³ã‚¯
ã€ŽArrowã®ã¯ãªã—ã€è¥¿å·ä»
ç™ºè¡¨è³‡æ–™: http://d.hatena.ne.jp/nskj77/20081030/1225389324ãƒ•ã‚¡ãƒ³ã‚¯ã‚·ãƒ§ãƒ³å€¶æ¥½éƒ¨2008ç§‹ã‚¤ãƒ™ãƒ³ãƒˆ ï½žlambda the worldï½žhttp://atnd.org/events/99 ã‚ªãƒ–ã‚¸ã‚§ã‚¯ãƒˆå€¶æ¥½éƒ¨2008ç§‹ã‚¤ãƒ™ãƒ³ãƒˆã§ã‚‚ã‚ã£ãŸã‚‚ã®ã€‚å‰: sm5103088 / æ¬¡: sm5103172ã€Œã“ã‚“ã«ã¡ã¯ã€ãƒ•ã‚¡ãƒ³ã‚¯ã‚·ãƒ§ãƒ³å€¶æ¥½éƒ¨ã®è¥¿å·ã§ã™ã€‚ä»Šå›žã®ãƒ•ã‚¡ãƒ³ã‚¯ã‚·ãƒ§ãƒ³å€¶æ¥½éƒ¨ç§‹ã‚¤ãƒ™ãƒ³ãƒˆ2008ã§ã¯ã€ç§ã®é–¢æ•°åž‹è¨€èªžã«ã‹ã‘ã‚‹ç†±ã„æƒ³ã„ã¨ Haskellã®ãƒ©ã‚¤ãƒ–ãƒ©ãƒªã®ã²ã¨ã¤ã§ã‚ã‚‹Arrowã«ã¤ã„ã¦ãŠè©±ã•ã›ã¦ã„ãŸã ãã¾ã™ã€‚ç§ã®ç†±ã„æƒ³ã„ã¯ã¨ã‚‚ã‹ãã€Arrowã¯...æŠ½è±¡åŒ–èƒ½åŠ›ã®éžå¸¸ã«é«˜ã„è¨ˆç®—ã®æ–¹æ³•ã§ã™ã€‚å‚åŠ ã•ã‚ŒãŸæ–¹ãŒå¦æ ¡ã‚„ä¼šç¤¾ã§ã¡ã‚‡ã£ã¨æŠ«éœ²ã§ãã‚‹ã‚ˆã†ãªãƒã‚¿ã‚’ã¿ãªã•ã‚“ã«ç´¹ä»‹ã—ã¦ã¿ã‚ˆã†ã¨æ€ã„ã¾ã™ã€‚
mzp 2009/02/02
*ãƒ—ãƒã‚°ãƒ©ãƒ

Haskell

Arrow
ãƒªãƒ³ã‚¯
3åˆ†ã§è§£ã‚‹Haskellã®Arrowã®åŸºæœ¬ãƒ¡ãƒ¢ - ã‚ˆãã‚ã‹ã‚Šã¾ã›ã‚“
æ—¥æœ¬èªžã§Arrowã®èª¬æ˜ŽãŒã‚ã¾ã‚Šè¦‹ä»˜ã‹ã‚‰ãªã‹ã£ãŸã®ã§ã€Haskell/Understanding arrows - Wikibooks, open books for an open worldã‚’èªã‚“ã§ç†è§£ã—ãŸã¤ã‚‚ã‚Šã®ãƒ¡ãƒ¢ã€‚ã‚ªãƒªã‚¸ãƒŠãƒ«ã®å›³ã‚’è¦‹ãªãŒã‚‰ã ã¨åˆ†ã‹ã‚Šã‚„ã™ã„ã‹ã‚‚ã€‚èª¤ã‚Šãƒ»é–“é•ã„ãªã©ã€ä¹žã†ã”æŒ‡æ‘˜ã€‚ b->cãªé–¢æ•°ã‚’Arrowãªã‚‹ã‹ã‚‰ãã‚Šç®±ã«å…¥ã‚Œã‚‹ã¨ã€ (Arrow a) => a b c ã“ã‚“ãªåž‹ã«ãªã‚‹ã€‚åž‹ãƒ‘ãƒ©ãƒ¡ã‚¿ãŒã€å¼•æ•°ã®bã¨è¿”å€¤ã®cã®ãµãŸã¤ã€‚ Monadã¯ã€å€¤ã‚’ã‹ã‚‰ãã‚Šç®±ã«å…¥ã‚ŒãŸã‚‚ã®ã€‚ã‹ã‚‰ãã‚Šç®±ã¯åŸºæœ¬çš„ã«(ãƒ˜ãƒ³ãª)å€¤ã€‚ Arrowã¯ã€é–¢æ•°ã‚’ã‹ã‚‰ãã‚Šç®±ã«å…¥ã‚ŒãŸã‚‚ã®ã€‚ã‹ã‚‰ãã‚Šç®±ã¯åŸºæœ¬çš„ã«(ãƒ˜ãƒ³ãª)é–¢æ•°ã€‚ arr :: (b -> c) -> a b c Monadã§ã¯ã€å€¤ã‚’ã‹ã‚‰ãã‚Šç®±ã«å…¥ã‚Œã‚‹é–¢æ•°returnãŒã‚ã‚‹ã€‚ Arrowã§ã¯ã€é–¢æ•°ã‚’ã‹ã‚‰ãã‚Šç®±ã«å…¥ã‚Œã‚‹é–¢æ•°arrãŒã‚ã‚‹ã€‚ (>>>)
mzp 2009/02/02
*ãƒ—ãƒã‚°ãƒ©ãƒ

Haskell

Arrow
ãƒªãƒ³ã‚¯
Arrowã«ã‚ˆã‚‹Haskellãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®åŸºç¤Žã€‚â€¦ãƒ‘ã‚¤ãƒ—æ„Ÿè¦šã§é †æ¬¡/åˆ†å²/ç¹°è¿”ã— - ã‚ˆãã‚ã‹ã‚Šã¾ã›ã‚“
Programming with Arrowsã‚’èªã‚“ã§ç†è§£ã—ãŸã¤ã‚‚ã‚Šã®ãƒ¡ãƒ¢ã€‚èª¤ã‚Šãªã©ä¹žã†ã”æŒ‡æ‘˜ã€‚ ï¼ˆå¾©ç¿’ï¼‰Arrowã£ã¦ãªã«ï¼Ÿ ã¨æ€ã£ã¦ä»¥å‰èª¿ã¹ãŸãƒ¡ãƒ¢ãŒ"3åˆ†ã§è§£ã‚‹Haskellã®Arrowã®åŸºæœ¬ãƒ¡ãƒ¢ - ã‚ˆãã‚ã‹ã‚Šã¾ã›ã‚“"ã€‚ãã‚Œã«ã¡ã‚‡ã£ã¨è£œè¶³ã¨ã„ã†ã‹è¦³ç‚¹ã‚’å¤‰ãˆã¦ã¾ãšæ„Ÿè¦šã®æ•´ç†ã€‚ Monadã«è‰²ã‚“ãªç¨®é¡žãŒã‚ã‚‹ã‚ˆã†ã«ã€Arrowã‚‚è‰²ã‚“ãªç¨®é¡žãŒã‚ã‚‹ã€‚ Monad: IOã€Maybeã€â€¦ Arrow: é–¢æ•°ãã®ã¾ã‚“ã¾(->)ã€Kleisli mã€â€¦ ã‚ã‚‹ç¨®é¡žã®Monadã«è‰²ã‚“ãªåž‹ã®è‰²ã‚“ãªå€¤ã‚’å…¥ã‚Œã‚‰ã‚Œã‚‹ã‚ˆã†ã«ã€ã‚ã‚‹ç¨®é¡žã®Arrowã«è‰²ã‚“ãªåž‹ã®è‰²ã‚“ãªé–¢æ•°ã‚’å…¥ã‚Œã‚‰ã‚Œã‚‹ã€‚ Monad: Maybeã®ä¾‹â†’ ã€ŒMaybe Intã€ ã«return 0ã‚‚return 777ã‚‚ï¼¯ï¼«ã€‚ã€ŒMaybe Charã€ ã«return 'a'ã‚‚return ' 'ã‚‚ï¼¯ï¼«ã€‚ Arrow: (->)ã®ä¾‹â†’ ã€ŒInt -> In
mzp 2009/02/02
Programming with Arrowã‚’èªã‚€ã®ãŒã„ã„ã®ã‹ãª

*ãƒ—ãƒã‚°ãƒ©ãƒ

Haskell

Arrow
ãƒªãƒ³ã‚¯
[haskell] How To Arrow åŸºæœ¬ - è¨€èªžã‚²ãƒ¼ãƒ
http://d.hatena.ne.jp/propella/20070807/p1 1:åŸºæœ¬ http://d.hatena.ne.jp/propella/20070807/p2 2:ä¸¦ç½® http://d.hatena.ne.jp/propella/20070808/p1 3:é¸æŠž -- ãªã‚“ã‹çŸ¥ã‚‰ã‚“ã†ã¡ã« Arrow æµè¡Œã£ã¦ã‚‹ã‚ˆã†ãªã®ã§è©¦ã—ã¦ã¿ã‚‹ã€‚ -- http://www.cs.chalmers.se/~rjmh/afp-arrows.pdf ã«ã‚ˆã‚‹ã¨ã€ãƒã‚¤ãƒ³ãƒˆãƒ• -- ãƒªãƒ¼ã‚¹ã‚¿ã‚¤ãƒ«ã« IO ã‚’æ··ãœã‚‹ã®ãŒ Arrow ã ã¨è€ƒãˆã‚Œã°ã‚ˆã„ã‚‰ã—ã„ã€‚ import Control.Arrow -- Arrow ã§ã¯é«˜éšŽåž‹ã‚’ä½¿ã„ã¾ãã‚‹ã®ã§æ…£ã‚Œãªã„ã¨ã¡ã‚‡ã£ã¨æã‚ã—ãè¦‹ãˆã‚‹ã€‚ -- Arrow ã¯ Monad ã¨åŒã˜ãã‚¯ãƒ©ã‚¹ã ãŒã€Haskell ã§è¨€ã†ã‚¯ãƒ©ã‚¹ã¨ã¯ä»–ã§ã„ã† -- ã‚¤ãƒ³ã‚¿ãƒ•ã‚§ãƒ¼ã‚¹
mzp 2009/02/02
*ãƒ—ãƒã‚°ãƒ©ãƒ

Haskell

Arrow
ãƒªãƒ³ã‚¯
Neil Mitchell - HLint
HLint (formerly Dr. Haskell) reads Haskell programs and suggests changes that hopefully make them easier to read. HLint also makes it easy to disable unwanted suggestions, and to add your own custom suggestions. Running the tool over the darcs source code, we can generate an interactive report with --report, or view the results in the console: $ hlint darcs-2.1.2 CommandLine.lhs:49:1: Warning, eta
mzp 2009/01/27
*ãƒ—ãƒã‚°ãƒ©ãƒ å‚è€ƒ

Haskell
ãƒªãƒ³ã‚¯
Real World Haskell
Why functional programming? Why Haskell? 1. Getting started 2. Types and functions 3. Defining types, streamlining functions 4. Functional programming 5. Writing a library: working with JSON data 6. Using typeclasses 7. Input and output 8. Efficient file processing, regular expressions, and file name matching 9. I/O case study: a library for searching the filesystem 10. Code case study: parsing a
mzp 2008/12/22
*ãƒ—ãƒã‚°ãƒ©ãƒ å‚è€ƒ

Haskell
ãƒªãƒ³ã‚¯
è‡ªç”±ã«åƒã‘ã‚‹æ–°å®¿ã®ãƒãƒ£ãƒƒãƒˆãƒ¬ãƒ‡ã‚£æ±‚äººã¯å¤§å¦ç”Ÿã«ã‚‚ãŠã™ã™ã‚
å¤§å¦ç”Ÿã«ãƒ”ãƒƒã‚¿ãƒªãªæ–°å®¿ã®åœ¨å®…ãƒãƒ£ãƒƒãƒˆãƒ¬ãƒ‡ã‚£æ±‚äºº å¤§å¦ç”Ÿã®æ–¹ã§ã€æ¥½ã—ã„å¤§å¦ç”Ÿæ´»ã§å¿…è¦ã«ãªã‚‹ãŠé‡‘ã‚’ã‚‚ã£ã¨ç¢ºä¿ã—ãŸã„ã¨ã„ã†æ–¹ã¯ã€æ–°å®¿ã®ãƒãƒ£ãƒƒãƒˆãƒ¬ãƒ‡ã‚£ãƒ—ãƒãƒ€ã‚¯ã‚·ãƒ§ãƒ³ã§åœ¨å®…ãƒãƒ£ãƒƒãƒˆãƒ¬ãƒ‡ã‚£ã«ãªã£ã¦ã¿ã‚‹ã®ã‚‚ã‚ªã‚¹ã‚¹ãƒ¡ã§ã™ã€‚åœ¨å®…ãƒãƒ£ãƒƒãƒˆãƒ¬ãƒ‡ã‚£æ±‚äººã®é…åŠ›ã¯ã€ãƒ—ãƒãƒ€ã‚¯ã‚·ãƒ§ãƒ³ã‹ã‚‰ãƒ‘ã‚½ã‚³ãƒ³ã‚„ãƒžã‚¤ã‚¯ãªã©ã‚’å€Ÿã‚Šã¦ã€è‡ªå®…ã§é…ä¿¡ç’°å¢ƒã‚’ä½œã£ã¦ä»•äº‹ã‚’è¡Œã„ã¾ã™ã€‚ãƒ—ãƒãƒ€ã‚¯ã‚·ãƒ§ãƒ³ã®ãƒãƒ£ãƒƒãƒˆãƒ«ãƒ¼ãƒ ã®ã‚ˆã†ãªã€å……å®Ÿã—ãŸç’°å¢ƒã§ã®é…ä¿¡ã§ã¯ã‚ã‚Šã¾ã›ã‚“ãŒã€å¿™ã—ã„å¤§å¦ç”Ÿã®æ–¹ã§ã‚‚ã€è‡ªå®…ã§é…ä¿¡ãŒã§ãã‚‹ã®ã§ä»•äº‹ãŒã—ã‚„ã™ã„ã¨ã„ã†ãƒ¡ãƒªãƒƒãƒˆãŒå‡ºã¦ãã¾ã™ã€‚ æ—¥ä¸ã¯å¤§å¦ã§è¬›ç¾©ã‚’å—ã‘ã€å¤•æ–¹ã¯ã‚µãƒ¼ã‚¯ãƒ«ã‚„å‹é”ã¨ã®é£²ã¿ä¼šãªã©ã§å¸°ã£ã¦ãã‚‹ã®ã¯21æ™‚ä»¥é™ã¨ã„ã†å¥³åå¤§ç”Ÿã®æ–¹ã‚‚å¤šã„ã§ã™ãŒã€ãã‚“ãªãƒãƒ¼ãƒ‰ã‚¹ã‚±ã‚¸ãƒ¥ãƒ¼ãƒ«ã®æ–¹ã§ã‚‚åœ¨å®…ãƒãƒ£ãƒƒãƒˆãƒ¬ãƒ‡ã‚£ãªã‚‰å•é¡Œã‚ã‚Šã¾ã›ã‚“ã€‚22æ™‚ã‚„23æ™‚é ƒã‹ã‚‰1ã€2æ™‚é–“ç¨‹åº¦é…ä¿¡ã‚’ã™ã‚Œã°ã€ãã‚Œã§ãŠé‡‘ã‚’ç¨¼ã’ã‚‹ã‹ã‚‰ã§ã™ã€‚æ™®é€šã®ã‚³ãƒ³ãƒ“ãƒ‹ãªã©ã®ãƒã‚¤ãƒˆã§ã‚‚ã€å¤œé…ãã‹ã‚‰ä»•äº‹ãŒ
mzp 2008/12/22
*ãƒ—ãƒã‚°ãƒ©ãƒ å‚è€ƒ

Haskell
ãƒªãƒ³ã‚¯
ã“ã®ãƒ–ãƒã‚°ã«ã¤ã„ã¦ - snow-bellã®æ—¥è¨˜
snow-bellã®æ—¥è¨˜
mzp 2008/11/10
ã™ã”ã„ãªã

*é¢ç™½ã„

Haskell
ãƒªãƒ³ã‚¯
HUnit ã¨ãã®è‡ªå‹•åŒ– - zyxwvã®æ—¥è¨˜
æœ€è¿‘ãƒ†ã‚¹ãƒˆãƒ•ã‚¡ãƒ¼ã‚¹ãƒˆçš„ãªã‚‚ã®ã‚’è©¦ã—ã¦ã„ã‚‹ã®ã§ã€Haskell ã® HUnit ã‚’ä½¿ã£ã¦ã¡ã‚‡ã£ã¨éŠã‚“ã§ã¿ãŸã€‚ã¨ã“ã‚ãŒã€å®Ÿæ–½ã™ã‚‹ãƒ†ã‚¹ãƒˆã‚’é¸ã¶ã®ãŒã‚ã‚“ã©ã„ã€‚å…·ä½“çš„ã«ã¯ã“ã‚“ãªæ„Ÿã˜ã€‚(HUnit 1.0 User's Guide) test1 = TestCase (assertEqual "for (foo 3)," (1,2) (foo 3)) test2 = TestCase (do (x,y) <- partA 3 assertEqual "for the first result of partA," 5 x b <- partB y assertBool ("(partB " ++ show y ++ ") failed") b) tests = TestList [TestLabel "test1" test1, TestLabel "test2" test2] ã˜ã‚ƒã‚ Templat
mzp 2008/09/08
ãŸã—ã‹ã«HUnitã¯é¢å€’ã ã‚ˆã

*ãƒ—ãƒã‚°ãƒ©ãƒ å‚è€ƒ

Haskell
ãƒªãƒ³ã‚¯
å±±å¹è‰²ã®ãƒ¢ãƒŠãƒ‡ã‚£ãƒƒã‚¯ç–¾èµ° - Gemmaã®æ—¥è¨˜
ãƒ¢ãƒŠãƒ‰*1ãƒ•ã‚¡ãƒ³ã‚¯ã‚¿ãƒ¼ã£ã¦ä½•ï¼Ÿ è¦ã™ã‚‹ã«ã€åž‹ã‚„å€¤ã«è‰²ã‚’ã¤ã‘ã‚‹ã£ã¦ã“ã¨ã ã‚ˆã€‚ è‰²ã£ã¦ï¼Ÿ Intåž‹ã‚’Intåž‹ã¨ã‹Intåž‹ã¨è‰²ã‚ã‘ã—ãŸã‚Šã€1ã¨ã„ã†å€¤ã‚’1ã«ã—ãŸã‚Šãã€‚è‰²ã‚’ã¤ã‘ã‚‹ã«ã¯returnã‚’ä½¿ã†ã€‚ãã‚Œã¨ã‹ã€1 + 3ã˜ã‚ƒãƒ€ãƒ¡ã§ã€ã“ã“ã¯ï¼‹ã‚‚ç·‘ã«ã—ã¦ã‚„ã‚‰ã«ã‚ƒã€‚ãã‚ŒãŒLiftM2ã€‚ã‚ã¨ã¯ã€å‰¯ä½œç”¨ã®ã‚ã‚‹ä¸–ç•Œã¯å…¨éƒ¨èµ¤ã«ã—ã¦ãŠã„ã¦ã€èµ¤ã«ãªã£ãŸã‚‰å¤‰ãˆã‚‰ã‚Œãªã„ã“ã¨ã«ã™ã‚Œã°ã€é–‰ã˜è¾¼ã‚ã¦ãŠã‘ã‚‹ã§ã—ã‚‡ã€‚è‰²ã«ã‚ˆã£ã¦ã€ãã†ã—ã¦è‰²å¤‰ãˆã‚’è¨±ã•ãªã„ã®ã‚‚ã‚ã‚‹ã—ã€è¨±ã™ã®ã‚‚ã‚ã‚‹ã‚ˆã€‚ ãªã‚‹ã»ã©ã€ãã†ã„ã†ã“ã¨ã‹ã€‚ Haskellã«ã¯ç¶™ç¶šãƒ¢ãƒŠãƒ‰ã‚‚ã‚ã‚‹ã—ã€fastCGIã®ãƒ©ã‚¤ãƒ–ãƒ©ãƒªã‚‚ã‚ã‚‹ã‚‰ã—ã„ã‹ã‚‰ã€ã“ã‚Œã§åž‹ä»˜ãã®ç¶™ç¶šã‚µãƒ¼ãƒã‚’ä½œã£ãŸã‚‰é¢ç™½ãã†ã¨æ€ã„ç«‹ã¡ã€Haskellã®å‹‰å¼·ã‚’å§‹ã‚ãŸã€‚ SchemerãŒHaskellã‚’è¦šãˆã‚‹ãªã‚‰ã‚³ãƒ¬ã€Write Yourself a Scheme in 48 Hoursã€‚ ocaml-nagoyaã®id:zy
mzp 2007/07/15
*ãƒ—ãƒã‚°ãƒ©ãƒ å‚è€ƒ

Haskell
ãƒªãƒ³ã‚¯
Haskell ã®ã‚¤ãƒ³ã‚¹ãƒˆãƒ¼ãƒ« - zyxwvã®æ—¥è¨˜
ãŠæ‰‹æœ¬ã¯ã‚³ã‚³ â†’ http://d.hatena.ne.jp/yoshihiro503/20070706 ç¢ºå®Ÿã«åŠ£åŒ–ã—ã¦ã„ã‚‹ã€‚ã¿ã‚“ãªã‚‚æ˜¯éžã€è‡ªåˆ†ã®å¥½ããªå‡¦ç†ç³»ã®ç´¹ä»‹ã«æŒ‘æˆ¦ã—ã‚ˆã†ï¼ - æœ€è¿‘ãƒ‘ã‚½ã‚³ãƒ³ã‚’è²·ã£ãŸã‚“ã ã‘ã©ã€ä½¿ã„æ–¹ãŒã‚ˆãè§£ã‚‰ãªã„ã€‚ã¨ã„ã†äººã®ãŸã‚ã«ã€ä»Šæ—¥ã¯ Haskell ã®ã‚¤ãƒ³ã‚¹ãƒˆãƒ¼ãƒ«ã®æ–¹æ³•ã‚’ç´¹ä»‹ã—ã‚ˆã†ã€‚ å¯¾è±¡ã¨ãªã‚‹ OS ã¯ MacOSX ã ! Haskell ã¯ã ã„ãŸã„æ¬¡ã®ï¼“ã‚¹ãƒ†ãƒƒãƒ—ã§ã€ä½¿ã†ã“ã¨ãŒå‡ºæ¥ã‚‹ã€‚æã‚Œãšã«æŒ‘æˆ¦ã—ã¦ã¿ã‚ˆã†ã€‚ 1ã€‚Haskell ã®ã‚µã‚¤ãƒˆã‹ã‚‰ Haskell ã®ã‚‚ã¨ã‚’ãƒ€ã‚¦ãƒ³ãƒãƒ¼ãƒ‰ â†’ 2ã€‚ãã‚Œã‚’è‡ªåˆ†ã®ãƒ‘ã‚½ã‚³ãƒ³ã«ã‚»ãƒƒãƒˆã‚¢ãƒƒãƒ— â†’ 3ã€‚èµ·å‹• Haskell ã®ã‚‚ã¨ã‚’ãƒ€ã‚¦ãƒ³ãƒãƒ¼ãƒ‰ ã¾ãšã¯ GHC ã®ã‚µã‚¤ãƒˆã‚’è¦‹ã¦ã¿ã‚ˆã†ã€‚(ã‚¤ãƒ³ã‚¿ãƒ¼ãƒãƒƒãƒˆã«ã¤ãªãŒã£ã¦ã„ã‚‹å¿…è¦ãŒã‚ã‚‹ã€‚æ³¨æ„ã—ã‚ˆã†) ãã“ã¯ç·‘è‰²ã„é›°å›²æ°—ã®ã‚µã‚¤ãƒˆã§ã€ä½•ã‚„ã‚‰è‹±èªžã§ã„ã‚ã„ã‚æ›¸ã„ã¦ã‚ã‚‹ã ã‚ã†ã€‚ (ç•¥) ã“ã‚Œã§ã‚¹ãƒ†ãƒƒãƒ—
mzp 2007/07/08
*ãƒã‚¿

Haskell
ãƒªãƒ³ã‚¯
1 2 æ¬¡ã®ãƒšãƒ¼ã‚¸