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

itchyny id:itchyny

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

${{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}}

Haskell ã¯ Rust ã«ãªã‚Œã‚‹ã®ã‹ï¼Ÿâ”€â”€2023å¹´ã® Linear Haskell ä½“é¨“è¨˜
è¿½è¨˜ï¼šã„ãã‚‰ãªã‚“ã§ã‚‚ã‚ã¾ã‚Šã«ã‚‚é•·ã„ã®ã§ã€é…åˆ—æ¼”ç®—ã«ç„¦ç‚¹ã‚’çµžã£ã¦ã‚ˆã‚Šã€ŒRustã£ã½ã•ã€ã®æ°—æŒã¡ã‚’å¼·èª¿ã—ãŸå§‰å¦¹ç·¨ã‚’æ›¸ãã¾ã—ãŸã€‚æ‰‹ã£å–ã‚Šæ—©ãé›°å›²æ°—ã‚’æŽ´ã¿ãŸã„æ–¹ã¯ã“ã¡ã‚‰ã‚‚ã©ã†ãžã€‚ TL;DR GHC 9.0 ã‹ã‚‰ Haskell ã«å…¥ã£ãŸç·šåž‹åž‹ï¼ˆLinear Typesï¼‰ã®æ©Ÿèƒ½ã‚’ä¸€éƒ¨å‰²ã¨ã‚¬ãƒƒãƒ„ãƒªä½¿ã£ã¦ã¿ãŸã®ã§ã€Linear Haskell ã®ç¾åœ¨ã®ä½¿ã„å¿ƒåœ°ã¨å°†æ¥ã®å±•æœ›ã‚’å ±å‘Šã™ã‚‹ã‚ˆã€‚ ä½¿ãŠã†ã¨æ€ãˆã°ä½¿ãˆã‚‹æ®µéšŽã«ã‚ã‚‹ã‘ã‚Œã©ã€ä¸€éƒ¨ãƒã‚°ã‚‚ã‚ã‚‹ã—ã€ã¾ã è¨€èªžæ©Ÿèƒ½é¢ã§å®Ÿè£…ãŒè¿½ã„ä»˜ã„ã¦ã„ãªã„éƒ¨åˆ†ã‚‚ã‚ã£ã¦ã€å¿«é©ã«æ›¸ã‘ã‚‹ã‚ˆã†ã«ãªã‚‹ã«ã¯ã‚‚ã†ã¡ã‚‡ã£ã¨æŽ›ã‹ã‚‹ã‚ˆã€‚ãã‚Œã§ã‚‚å®Ÿç”¨ã—ã‚ˆã†ã¨æ€ãˆã°ã§ãã‚‹ãƒ¬ãƒ™ãƒ«ã«ã‚ã‚‹ã‚ˆã€‚ Rustã®ã‚ˆã†ã«ãªã‚‹ã«ã¯Linear Constraintsã«æœŸå¾…ã€‚ æ›´æ–°å±¥æ´ 2023/12/15 11:45 å§‰å¦¹ç·¨ã¸ã®ãƒªãƒ³ã‚¯è¿½åŠ ã€‚ 2023/10/01 12:30 ç·šåž‹æ€§ã‚’ç´å¾—ã—ã¦ãã‚Œãªã„å ´åˆã® \eta-å±•
itchyny 2023/10/02
programming

Haskell

Rust

blog
ãƒªãƒ³ã‚¯
What killed Haskell, could kill Rust, too
What_killed_Haskell_could_kill_Rust.md At the beginning of 2030, I found this essay in my archives. From what I know today, I think it was very insightful at the moment of writing. And I feel it should be published because it can teach us, Rust developers, how to prevent that sad story from happening again. What killed Haskell, could kill Rust, too What killed Haskell, could kill Rust, too. Why wo
itchyny 2022/02/02
programming

Haskell

Rust
ãƒªãƒ³ã‚¯
CS SYD - JSON Vulnerability in Haskell's Aeson library
This bl ogpost describes a DoS vulnerability in Haskell's aeson package. We have followed appropriate procedure for responsible disclosure but the probl em was not fixed, so now we are releasing this to the public in the hope that it may still be fixed afterall. Disclaimer: This story is the result of a team effort at FP Complete in 2018. I have received explicit written permission to post it here.
itchyny 2021/09/12
programming

Haskell
ãƒªãƒ³ã‚¯
10å¹´é–“ä½¿ã£ã¦ã¿ã¦è¦‹ãˆãŸHaskellã®é—‡ã¨å…‰ - Qiita
ã¯ã˜ã‚ã« ã‚ãŸã—ãŒHaskellã‚’ä½¿ã„å§‹ã‚ã¦ã‚‚ã†ãã‚ãã‚10å¹´ç›®ã«ãªã‚Šã¾ã™ã€‚ï¼ˆã‚¿ã‚¤ãƒˆãƒ«ã¯å¤šå°‘ã‚µãƒã‚’èªã‚“ã§ã„ã¾ã™ãï¼‰ ã“ã‚Œã¾ã§ä½¿ã£ã¦ããŸæ„Ÿæƒ³ã‚’ã¾ã¨ã‚ã¾ã™ã€‚ Haskellã®ã¤ã‚‰ã„ã¨ã“ã‚ ã¾ãšã¯æ„šç—´ã‚‰ã›ã¦ãã ã•ã„ã€‚ ã‚³ãƒ³ãƒ‘ã‚¤ãƒ«ãŒé…ã„ ä¾å˜ãƒ¢ã‚¸ãƒ¥ãƒ¼ãƒ«ã¯ã™ã¹ã¦ã‚½ãƒ¼ã‚¹ã‚³ãƒ¼ãƒ‰ã‹ã‚‰ãƒ“ãƒ«ãƒ‰ã™ã‚‹å¿…è¦ãŒã‚ã‚Šã¾ã™ã€‚ï¼ˆãƒã‚¤ãƒŠãƒªå½¢å¼ã®ãƒ¢ã‚¸ãƒ¥ãƒ¼ãƒ«ã¯ã‚ã‚Šã¾ã›ã‚“ï¼‰ æœ€åˆã®ãƒ“ãƒ«ãƒ‰ã«20åˆ†ãã‚‰ã„å¾…ã¤ã®ã¯ã‚¶ãƒ©ã§ã™ã€‚ è¤‡é›‘ãªåž‹ã‚·ã‚¹ãƒ†ãƒ ã‚’ã¤ã‹ã†ã¨åž‹æŽ¨è«–ã‚„åž‹ãƒ¬ãƒ™ãƒ«è¨ˆç®—ã«æ™‚é–“ãŒã‹ã‹ã‚Šã¾ã™ã€‚ é«˜é€ŸãªHaskellãƒ—ãƒã‚°ãƒ©ãƒ ã‚’æ›¸ããŸã‚ã«ã¯å¤šãã®é–¢æ•°ã‚’ã‚¤ãƒ³ãƒ©ã‚¤ãƒ³åŒ–ã™ã‚‹å¿…è¦ãŒã‚ã‚Šã¾ã™ã€‚æœ€é©åŒ–ãƒ“ãƒ«ãƒ‰ã§ã¯ã‚¤ãƒ³ãƒ©ã‚¤ãƒ³å±•é–‹ã«ã‚ˆã£ã¦ã‚³ãƒ¼ãƒ‰ã‚µã‚¤ã‚ºãŒå¤§ãããªã‚‹ã®ã§æ™‚é–“ãŒã‹ã‹ã‚Šã¾ã™ã€‚ ãƒ‡ãƒãƒƒã‚°ãŒé›£ã—ã„ å…¬å¼ã®GHCiãƒ‡ãƒãƒƒã‚¬ã¯ã‚ã‚Šã¾ã™ãŒã€ä»Šã®ã¨ã“ã‚IDEã‹ã‚‰ç°¡å˜ã«åˆ©ç”¨ã§ãã‚‹ã‚ã‘ã§ã¯ãªã„ã§ã™ã—ã€ã‚³ãƒ³ãƒ‘ã‚¤ãƒ«æ¸ˆã¿ã®ãƒ©ã‚¤ãƒ–ãƒ©ãƒªã¯ãƒ‡ãƒãƒƒã‚°ã§ããªã„ã§ã™ã€‚ è¿‘å¹´ã‚¹ã‚¿ãƒƒã‚¯ãƒˆ
itchyny 2021/03/02
programming

Haskell
ãƒªãƒ³ã‚¯
Haskell ã« IDE ã¯ãªã„ã®ã‹ï¼Ÿâ”€â”€ç‹¬æ–ã¨åè¦‹ã«ã‚ˆã‚‹ Haskell ã® IDE åå¹´å²
ç”ãˆï¼šHaskell ã« IDE ã¯ãšã£ã¨ã‚ã‚‹ã€ä»Šãªã‚‰HLSä½¿ãˆï¼ˆå†…å®¹ã‚’èªã‚€æ°—ãŒãªã„ã‚ˆã†ã¨ã„ã†äººå‘ã‘ã®ç”ãˆï¼‰ ã¯ã˜ã‚ã« 2021å¹´2æœˆç¾åœ¨ã€Haskell ã® IDE ç’°å¢ƒã¯ Haskell Language Server (HLS) ã®ç™»å ´ã«ã‚ˆã‚ŠåŠ‡çš„ãªé€²åŒ–ã‚’é‚ã’ã¦ã„ã¾ã™ãŒã€æ—¥æœ¬ã® Haskell ã‚³ãƒŸãƒ¥ãƒ‹ãƒ†ã‚£ã§ã¯ãã®å‰èº«ã® Haskell IDE Engine (HIE) ã®æƒ…å ±ãŒã¾ã æ°¾æ¿«ã—ã¦ãŠã‚Šã€ååˆ†ãªå‘¨çŸ¥ã«è‡³ã£ã¦ã„ãªã„ç¾çŠ¶ãŒã‚ã‚Šã¾ã™ã€‚ æœ¬ç¨¿ã§ã¯ã€ã“ã†ã—ãŸç¾çŠ¶ã‚’æ‰“ç ´ã™ã¹ãã€2021 å¹´ 2 æœˆç¾åœ¨ã® Haskell ã® IDE ç’°å¢ƒã‚’å–ã‚Šå·»ãç¾çŠ¶ã¨ã€ãã“ã«è‡³ã‚‹ã¾ã§ã®æ´å²ã‚’å®Œå…¨ã«ç‹¬æ–ã¨åè¦‹ã§ç´¹ä»‹ã—ã¾ã™ã€‚ã‚ˆã‚Šå¤šãã®äººã« HLS ã®å˜åœ¨ã‚’å‘¨çŸ¥ã—ã€çš†ã•ã‚“ã® Haskell Life ã®ä¸€åŠ©ã¨ãªã‚Œã°å¹¸ã„ã§ã™ã€‚ã¾ãŸã€HLS ã®å‰èº«ã§ã‚ã‚‹ HIE ã¯å¿…ãšã—ã‚‚å¿«é©ã«å‹•ä½œã™ã‚‹ã¨ã¯è¨€ã„é›£ã‹ã£ãŸãŸã‚ã€HLS
itchyny 2021/02/05
programming

Haskell
ãƒªãƒ³ã‚¯
çµŒé¨“5å¹´ã®Haskellãƒ¦ãƒ¼ã‚¶ãŒScalaã‚’ä»•äº‹ã§åŠå¹´ä½¿ã£ã¦ã¿ãŸ
haskell-scala-java ã¡ã‚‡ã£ã¨å‰ã¾ã§Scalaã‚’æ›¸ã„ã¦ã„ãŸã®ã§ã€ Haskellå¥½ããªäººãŒScalaã‚’æ›¸ã„ãŸæ„Ÿæƒ³ã‚’æ›¸ãã¾ã™ã€‚ ã‚¿ã‚¤ãƒˆãƒ«ã¯çµŒé¨“15å¹´ã®OCaml ãƒ¦ãƒ¼ã‚¶ãƒ¼ãŒ Haskell ã‚’ä»•äº‹ã§åŠå¹´ä½¿ã£ã¦ã¿ãŸ - camlspotterâ€™s blogã®æ¨¡å€£ã§ã™ã€‚ ã‚ãã¾ã§1ãƒ¦ãƒ¼ã‚¶ã®æ„Ÿæƒ³ã§ã™ã€‚ Scalaã«æ…£ã‚Œã¦ã—ã¾ã†ã¨é•å’Œæ„Ÿã‚’å¿˜ã‚Œã¦ã—ã¾ã†ã¨æ€ã£ãŸã®ã§ã€å½“æ™‚ç®‡æ¡æ›¸ãã§é›‘ã«ãƒ¡ãƒ¢ã—ã¦ã„ãŸã‚‚ã®ã‚’å‚ç…§ã—ã¦æ›¸ã„ã¦ã„ã¾ã™ã€‚ é€†ã«Scalaä½¿ã„ãŒHaskellã‚’çŸ¥ã‚‹ãƒ¡ãƒ¢ã«å½¹ç«‹ã¤ã‹ã‚‚ã—ã‚Œã¾ã›ã‚“ã€‚ Haskellæ´ when: 2013å¹´ã‹ã‚‰çŸ¥ã£ã¦å¦ã³å§‹ã‚ã¾ã—ãŸãŒã€æœ¬æ ¼çš„ã«ä½¿ã„å§‹ã‚ãŸã®ã¯2015å¹´ã‹ã‚‰ã§ã€5å¹´ã»ã©ä½¿ã£ã¦ã„ã¾ã™ where: ã©ã®è¨€èªžã‚’ä½¿ã£ã¦ã‚‚è‰¯ãã¦æ–°ã—ã„è¨€èªžã‚’å¦ã¶å¿…è¦ãŒãªã‘ã‚Œã°åŸºæœ¬çš„ã«Haskellã‚’ä½¿ã£ã¦ã„ã¾ã™ what: è¶£å‘³OSSãƒ—ãƒã‚¸ã‚§ã‚¯ãƒˆã®å¤§åŠ ç¾åœ¨ä¸€ç•ªã‚¹ã‚¿ãƒ¼ã‚‚ã‚‰ã£
itchyny 2020/11/20
programming

Haskell

Scala
ãƒªãƒ³ã‚¯
10.39. Concurrent and Parallel Haskell â€” Glasgow Haskell Compiler 8.10.2 User's Guide
itchyny 2020/11/17
programming

Haskell
ãƒªãƒ³ã‚¯
#88: A History of Haskell: being lazy with class
Haskell ã®é•·ã„æ´å²ã‚’å‘äº•ãŒè¾¿ã‚Šã¾ã™ã€‚æ„Ÿæƒ³ãªã©ã¯ãƒãƒƒã‚·ãƒ¥ã‚¿ã‚°Â #misreadingÂ ã‹Â [email protected]Â ã«ãŠå¯„ã›ãã ã•ã„ã€‚iTunesÂ ã®ãƒ¬ãƒ“ãƒ¥ãƒ¼ã‚„æ˜Ÿã‚‚æ“è¿Žã§ã™ã€‚ A History of Haskell: being lazy with class â€“ Microsoft ResearchHaskell LanguageHome â€” The Glasgow Haskell Compilerhttps://www.haskell.org/online report/haskell2010/Changes since Haskell â€™98
itchyny 2020/10/28
programming

Haskell
ãƒªãƒ³ã‚¯
Haskellã®åä¾›ãŸã¡
Owenã®ãƒ–ãƒã‚°ã‚ˆã‚Šã€‚ ã‚‚ã—ã€ç§ãŒ4å¹´å‰ã«ã‚¿ã‚¤ãƒ ã‚¹ãƒªãƒƒãƒ—ã—ã¦ã€æ˜”ã®è‡ªåˆ†ã«HaskellãŒè¼ãã‚’å¤±ã„å§‹ã‚ã¦ã„ã‚‹ã¨è¨€ã£ãŸã‚‰ã€ç§ã¯ãã‚Œã‚’ä¿¡ã˜ãªã„ã§ã—ã‚‡ã†ã€‚ç§ã¯Haskellã§è‚²ã¡ã€ã‚«ãƒ†ã‚´ãƒªç†è«–ã¸ã®æ¬²æ±‚ã¯Haskellã«ã‚ˆã£ã¦åˆºæ¿€ã•ã‚Œã€ç§ã®æœ€å¤§ã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ãƒ»ãƒ—ãƒã‚¸ã‚§ã‚¯ãƒˆã¯Haskellã§ã‚ã‚Šã€Haskellã‚’ä½¿ã£ãŸä¼šç¤¾ã§åƒãã®ãŒå¤¢ã§ã—ãŸã€‚ ã—ã‹ã—ä»Šã§ã¯ã€ä»¥å‰ã»ã©Haskellã«èˆˆå¥®ã—ã¦ã„ãªã„ã“ã¨ã«æ°—ãŒä»˜ãã¾ã—ãŸã€‚ä½•ãŒå¤‰ã‚ã£ãŸã®ã§ã—ã‚‡ã†ã‹? ã„ãã¤ã‹è¦å› ãŒã‚ã‚‹ã¨æ€ã„ã¾ã™ã€‚ä¸»ãªè¦å› ã®1ã¤ã¯ã€HaskellãŒæœ¬å½“ã«å¾—æ„ã¨ã—ã¦ã„ã‚‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®ç¨®é¡žã ã¨æ€ã„ã¾ã™ã€‚ã¤ã¾ã‚Šã€æŠ½è±¡çš„ã§æ£ã—ã„ã‚¤ãƒ³ã‚¿ãƒ•ã‚§ãƒ¼ã‚¹ã‚’ä½œã‚‹ã“ã¨ã¯ã€ç§ã«ã¨ã£ã¦èˆˆå‘³ã®ã‚ã‚‹ã‚¿ã‚¤ãƒ—ã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã§ã¯ãªã„ã¨è¨€ã†ã“ã¨ã§ã™ã€‚ã‚ãƒ£ãƒªã‚¢ã¨ã—ã¦ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢ã«æºã‚ã‚ŠãŸã„ã¨æ€ã£ãŸã¨ãã€è‡ªåˆ†ã‚’ç¹°ã‚Šè¿”ã•ãªã„ã‚ˆã†ã«ã™ã‚‹ç´ æ™´ã‚‰ã—ã„æ©Ÿèƒ½ã‚’æŒã£ãŸè¨€èªžã¯ã¨ã¦ã‚‚å½¹ã«ç«‹ã¡ã¾ã—
itchyny 2020/09/29
programming

Rust

Haskell
ãƒªãƒ³ã‚¯
Fix-ing regular expressions
TL;DR: We add variables, let bindings, and explicit recursion via fixed points to classic regular expressions. It turns out that the resulting explicitly recursive, finitely described languages are well suited for analysis and introspection. Itâ€™s been almost a year since I touched the kleene library, and almost two years since I published it â€“ a good time to write a little about regular expression
itchyny 2020/06/14
programming

Haskell
ãƒªãƒ³ã‚¯
software-design-in-haskell/README.md at master Â· graninas/software-design-in-haskell
itchyny 2020/01/04
programming

Haskell
ãƒªãƒ³ã‚¯
Where do values fit in Category of Hask?
itchyny 2019/10/28
Haskell

åœè«–
ãƒªãƒ³ã‚¯
Mathematics and Computation | Hask is not a category
Hask is not a category 06 August 2016 Andrej Bauer Computation, Programming This post is going to draw an angry Haskell mob, but I just have to say it out loud: I have never seen a definition of the so-called category HaskÂ and I do not actually believe there is one until someone does some serious work. Let us look at the matter a bit closer. The Haskell wiki page on Hask says: The objects of Hask
itchyny 2019/10/28
Haskell

åœè«–
ãƒªãƒ³ã‚¯
Hask - HaskellWiki
Hask is the category of Haskell types and functions. Informally, the objects of Hask are Haskell types, and the morphisms from objects A to B are Haskell functions of type A -> B. The identity morphism for object A is id :: A -> A, and the composition of morphisms f and g is f . g = \x -> f (g x). However, subtleties arise from questions such as the following. When are two morphisms equal? People
itchyny 2019/10/28
Haskell

åœè«–
ãƒªãƒ³ã‚¯
Re: [Haskell-cafe] Basic question concerning the category Hask (was: concerning data constructors)
itchyny 2019/10/28
Haskell

åœè«–
ãƒªãƒ³ã‚¯
A Neighborhood of Infinity: "What Category do Haskell Types and Functions Live In?"
itchyny 2019/10/24
programming

Haskell

åœè«–
ãƒªãƒ³ã‚¯
ãƒ¢ãƒŠãƒ‰ãƒˆãƒ©ãƒ³ã‚¹ãƒ•ã‚©ãƒ¼ãƒžãƒ¼ãƒ»ã‚¹ãƒ†ãƒƒãƒ—ãƒ»ãƒã‚¤ãƒ»ã‚¹ãƒ†ãƒƒãƒ—(Monad Transformers Step By Step) - ã‚Šã‚“ã”ãŒã§ã¦ã„ã‚‹
è‘—è€…ã®Martin GrabmÃ¼lleræ°ã«è¨±å¯ã‚’ã„ãŸã ãã¾ã—ãŸã®ã§ã€ Haskellãƒ¢ãƒŠãƒ‰ãƒˆãƒ©ãƒ³ã‚¹ãƒ•ã‚©ãƒ¼ãƒžãƒ¼ã®ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ«ã‚’ç¿»è¨³ã—ãŸã‚‚ã®ã‚’å…¬é–‹ã—ã¾ã™ã€‚ ã‚¿ã‚¤ãƒã‚„èª¤è¨³ã€ãƒ—ãƒã‚°ãƒ©ãƒ ã®ãƒŸã‚¹ç‰ã‚ã‚Šã¾ã—ãŸã‚‰ã€ Twitterå®›@bicycle1885ã‹ã‚³ãƒ¡ãƒ³ãƒˆæ¬„ã¾ã§ã”é€£çµ¡é ‚ã‘ã‚‹ã¨ã‚ã‚ŠãŒãŸã„ã§ã™ã€‚ å…ƒã®ãƒ†ã‚ã‚¹ãƒˆã‚„ãƒ—ãƒã‚°ãƒ©ãƒ ã¯ä»¥ä¸‹ã®ãƒªãƒ³ã‚¯ã‹ã‚‰å¾—ã‚‰ã‚Œã¾ã™ã€‚ Monad Transf ormers Step by Step [2012/12/19] èª¤ã‚Šã‚’å¤šæ•°è¨‚æ£ã—ã¾ã—ãŸã€‚id:qtamakiã•ã‚“ã€ã‚ã‚ŠãŒã¨ã†ã”ã–ã„ã¾ã™ã€‚ [2014/6/19] èª¤ã‚Šã‚’2ç‚¹è¨‚æ£ã—ã¾ã—ãŸã€‚id:daimatzã•ã‚“ã€id:hitotakuchanã•ã‚“ã€ã‚ã‚ŠãŒã¨ã†ã”ã–ã„ã¾ã™ã€‚ Monad Transf ormers Step by Step Martin GrabmÃ¼ller Oct 16 2006 æ¦‚è¦(Abstract) ã“ã®
itchyny 2019/07/26
programming

Haskell
ãƒªãƒ³ã‚¯
[Haskell] Respect
itchyny 2018/01/08
programming

Haskell
ãƒªãƒ³ã‚¯
Hotswapping Haskell Â· Simon Marlow
Simon Marlow Software Engineer at Facebook in London Co-developer of the Glasgow Haskell Compiler Twitter: @simonmar Github: simonmar Em ail: marlowsd@gmail.com LinkedIn: Simon Marlow Hotswapping Haskell October 17, 2017 This is a guest post by Jon Coens. Jon worked on the Haxl project since the beginning in 2013, and nowadays he works on broadening Haskell use within Facebook. From developing code
itchyny 2017/10/20
programming

Haskell
ãƒªãƒ³ã‚¯
ç™ºå±•ç·¨ï¼ Haskellã§ã€Œåž‹ã€ã®ãƒãƒ†ãƒ³ã‚·ãƒ£ãƒ«ã‚’æœ€å¤§é™ã«å¼•ãå‡ºã™ã«ã¯ï¼Ÿã€ç¬¬äºŒè¨€èªžã¨ã—ã¦ã®Haskellã€‘ï½œãƒã‚¤ã‚¯ãƒ©ã‚¹è»¢è·ãƒ»æ±‚äººæƒ…å ±ã‚µã‚¤ãƒˆ AMBIï¼ˆã‚¢ãƒ³ãƒ“ï¼‰
ç™ºå±•ç·¨ï¼Â Haskellã§ã€Œåž‹ã€ã®ãƒãƒ†ãƒ³ã‚·ãƒ£ãƒ«ã‚’æœ€å¤§é™ã«å¼•ãå‡ºã™ã«ã¯ï¼Ÿã€ç¬¬äºŒè¨€èªžã¨ã—ã¦ã®Haskellã€‘ ç¬¬äºŒè¨€èªžã¨ã—ã¦Haskellã‚’å¦ç¿’ã™ã‚‹ã‚·ãƒªãƒ¼ã‚ºã€‚ç™ºå±•ç·¨ã§ã¯ã€å®Ÿè·µç·¨ã§å®šç¾©ã—ãŸåž‹ã¨é–¢æ•°ã‚’ãƒ¢ã‚¸ãƒ¥ãƒ¼ãƒ«ã«ã™ã‚‹æ–¹æ³•ã¨ã€åž‹ã‚’è¦‹ç›´ã—ã¦é–¢æ•°ã‚’ã•ã‚‰ã«å®‰å…¨ãªã‚‚ã®ã«ã™ã‚‹æ–¹æ³•ã‚’ç´¹ä»‹ã—ã¾ã™ã€‚ã•ã‚‰ã«å‹‰å¼·ã—ãŸã„æ–¹å‘ã‘ã®è¶…ç™ºå±•ç·¨ä»˜ãï¼ ã“ã‚“ã«ã¡ã¯ã€‚Haskell-jpã®å±±æœ¬æ‚ æ»‹ï¼ˆigrepï¼‰ã§ã™ã€‚ Haskellã‚‰ã—ã„ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã¨ã¯ä½•ã‹ï¼Ÿ ã«ã¤ã„ã¦ã€ã“ã‚Œã¾ã§åŸºæœ¬ã¨å®Ÿè·µã‚’è§£èª¬ã—ã¦ãã¾ã—ãŸã€‚ å®Ÿè·µç·¨ã§ã¯ã€å•é¡Œã«ã‚ã£ãŸåž‹ã‚’è‡ªåˆ†ã§å®šç¾©ã—ã€ ãã®åž‹ã‚’ä½¿ã£ãŸé–¢æ•°ã‚’å®šç¾©ã—ã¦ã„ãã¨ã„ã†Haskellãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®æµã‚Œã‚’ã€ ãƒˆãƒ©ãƒ³ãƒ—ã‚²ãƒ¼ãƒ ã®ãƒ–ãƒ©ãƒƒã‚¯ã‚¸ãƒ£ãƒƒã‚¯ã®æ‰‹æœã®åˆè¨ˆè¨ˆç®—ã¨ã„ã†ä¾‹ã‚’ä½¿ã£ã¦å¦ã³ã¾ã—ãŸã€‚ ã“ã®è¨˜äº‹ã§ã¯ã•ã‚‰ã«ç™ºå±•çš„ãªHaskellãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®é“ã‚’ç¤ºã™ã¹ãã€æ¬¡ã®2ã¤ã®èª²é¡Œã«å–ã‚Šçµ„ã¿ã¾ã™ã€‚ å®šç¾©ã—ãŸåž‹ã¨é–¢æ•°ã‚’ãƒ¢ã‚¸ãƒ¥
itchyny 2017/10/03
programming

Haskell
ãƒªãƒ³ã‚¯
1 2 3 4 5 6 7 8 9 10 æ¬¡ã®ãƒšãƒ¼ã‚¸