IIJ 社内ã§ã‚„ã£ãŸãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ« 純粋関数型言語Haskellã®ç´¹ä»‹ 〜制約プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®ã‚¹ã‚¹ãƒ¡ã€œ ã®è³‡æ–™ã‚’公開ã—ã¾ã—ãŸã€‚
制約プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®ã‚¹ã‚¹ãƒ¡ - ã‚ã©ã‘ãªã„話
IIJ 社内ã§ã‚„ã£ãŸãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ« 純粋関数型言語Haskellã®ç´¹ä»‹ 〜制約プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®ã‚¹ã‚¹ãƒ¡ã€œ ã®è³‡æ–™ã‚’公開ã—ã¾ã—ãŸã€‚
ã¯ã˜ã‚ã¦ã® Haskell - ã‚ã©ã‘ãªã„話
昨日ã€å‹é”ã«ã“ã‚“ãªã“ã¨ã‚’話ã—ã¾ã—ãŸã€‚ Haskell ã§ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã™ã‚‹ã¨ãã¯ã€ã¨ã‚Šã‚ãˆãšåŠ¹çŽ‡ã®ã“ã¨ã¯å¿˜ã‚Œã‚‹ã€‚ メモリーã¯ç„¡é™ã«ã‚ã‚‹ã¨è€ƒãˆã€ã‚³ãƒ³ãƒ‘イラーã¨é…延評価ãŒé ‘å¼µã£ã¦ãれるã¨ä¿¡ã˜ã‚‹ã€‚ Haskell ã§ã¯ what を記述ã™ã‚‹ã€‚ 効率を考ãˆã¦ã„る時点ã§ã€how ã§ã‚る。 what 㨠how ã¯ã€åŒä¸€è¦–ã•ã‚ŒãŒã¡ã§ã‚ã‚Šã€åŒºåˆ¥ã™ã‚‹ã«ã¯è¨“ç·´ãŒå¿…è¦ã€‚ 変数ã¯åˆæœŸåŒ–ã§ãã‚‹ãŒã€å†ä»£å…¥ã§ããªã„。 ã ã‹ã‚‰ã€ã‚¤ãƒ³ãƒ‡ãƒƒã‚¯ã‚¹ãŒå¿…è¦ãª for ã¯ãªã„。 ç¹°ã‚Šè¿”ã—ãŒæœ¬è³ªãªã‚‰ã€å†å¸°ã§æ›¸ã。 å˜ã«ãƒªã‚¹ãƒˆã‚’走査ã—ãŸã„ãªã‚‰ map を使ã†ã€‚ リスト処ç†ãŒå¾—æ„ãªã®ã§ã€ãªã‚“ã§ã‚‚リストã«è½ã¨ã—込む。 ã‚‚ã†ä¸€åº¦è¨€ã†ã‘ã‚Œã©ã€ãƒ¡ãƒ¢ãƒªãƒ¼ã¯ç„¡é™ã«ã‚ã‚‹ã¨è€ƒãˆã‚‹ã‹ã‚‰ã€ãƒªã‚¹ãƒˆãŒå¤§ããã¦ã‚‚æ°—ã«ã—ãªã„。 行を数ãˆã¦ã¿ã‚‹ ファイルã®è¡Œæ•°ã‚’æ•°ãˆã‚‹ãƒ—ãƒã‚°ãƒ©ãƒ を考ãˆã‚‹ã¨ã—ã¾ã™ã€‚命令型ã®é ã§è€ƒãˆã‚‹ã¨ã€ä¸€è¡Œãšã¤èªã¿è¾¼ã¿ãªãŒã‚‰ãƒ•ã‚¡ã‚¤ãƒ«ã®çµ‚ã‚ã‚Šã¾ã§ãƒ«ãƒ¼ãƒ—ã‚’
第1回　関数型プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®ä¸–ç•Œã¸ã‚ˆã†ã“ã - 本物ã®ãƒ—ãƒã‚°ãƒ©ãƒžã¯Haskellを使ã†ï¼šITpro
Haskellã¨ã„ã†ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã‚’知ã£ã¦ã„ã¾ã™ã‹ï¼Ÿ å…¨ãèžã„ãŸã“ã¨ãŒãªã„ã¨ã„ã†äººãŒå¤šã„ã‹ã‚‚ã—ã‚Œã¾ã›ã‚“。ãã†ã„ã†åå‰ã®è¨€èªžãŒã‚ã‚‹ã®ã¯çŸ¥ã£ã¦ã„ã‚‹ã‘ã©ï¼Œã©ã‚“ãªè¨€èªžã‹ã¯çŸ¥ã‚‰ãªã„ã¨ã„ã†äººã‚‚ã„ã‚‹ã‹ã‚‚ã—ã‚Œã¾ã›ã‚“ã。ã§ã‚‚最近ã§ã¯ï¼Œä¸€éƒ¨ã®å…ˆé€²çš„ãªã‚½ãƒ•ãƒˆã‚¦ã‚¨ã‚¢é–‹ç™ºè€…ã®é–“ã§ï¼Œä¸€ç¨®ã®ãƒ–ームã¨è¨€ãˆã‚‹ã»ã©ç†±ç‹‚çš„ã«å—ã‘入れられã¦ã„ã¾ã™ã€‚ ãªãœãªã‚‰ã°ï¼ŒHaskellã¯æ§˜ã€…ãªå„ªã‚ŒãŸç‰¹å¾´ã‚’æŒã£ã¦ã„ã‚‹ã‹ã‚‰ã§ã™ã€‚最åˆã«ï¼Œä»–ã®è¨€èªžã«ã¯ã‚ã¾ã‚Šè¦‹ã‚‰ã‚Œãªã„éš›ã ã£ãŸç‰¹é•·ã‚’一ã¤ã ã‘紹介ã—ã¦ã¿ã¾ã—ょã†ã€‚「é…延評価（lazy evaluationï¼Œæ€ æƒ°è©•ä¾¡ã¨ã‚‚ã„ã†ï¼‰ã€ã§ã™ã€‚ é…延評価ã¨ã¯ï¼Œä¸Žãˆã‚‰ã‚ŒãŸå€¤ã‚’å¿…è¦ã«ãªã‚‹ã¾ã§è©•ä¾¡ï¼ˆè¨ˆç®—）ã—ãªã„ã¨ã„ã†ã“ã¨ã§ã™ã€‚ã“ã®æ€§è³ªã«ã‚ˆã‚Šï¼Œä¸å¿…è¦ãªè¨ˆç®—ãŒè¡Œã‚れる無駄をãªãã™ã“ã¨ãŒã§ãã¾ã™ã€‚ã¾ãŸï¼Œã€Œæ½œåœ¨çš„ã«ç„¡é™ã®å¤§ãã•ã‚’æŒã¤ãƒ‡ãƒ¼ã‚¿æ§‹é€ ã€ã¨ã„ã£ãŸé€šå¸¸ã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã§ã¯æ‰±ã„ã®é›£ã—ã„ã‚‚ã®ã‚’直接扱ãˆã‚‹ãŸã‚，より直接的
1
ランã‚ング
ランã‚ング
ランã‚ング
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
{{#tags}}- {{label}}
{{/tags}}