[B! haskell] kazutanakaã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

kazutanaka id:kazutanaka

haskellã«é–¢ã™ã‚‹kazutanakaã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (388)

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

Haskeller ã®ç•°å¸¸ãªæ„›æƒ…ï¼šã¾ãŸã¯ã€ç”Ÿç²‹ã® Haskeller ã¯è»¢è·ã—ã¦ Rust ã‚’ä¸€ãƒ¶æœˆåŠæ›¸ã„ã¦ä½•ã‚’æ€ã†ã‚ˆã†ã«ãªã£ãŸã‹
Haskeller ã®ç•°å¸¸ãªæ„›æƒ…ï¼šã¾ãŸã¯ã€ç”Ÿç²‹ã® Haskeller ã¯è»¢è·ã—ã¦ Rust ã‚’ä¸€ãƒ¶æœˆåŠæ›¸ã„ã¦ä½•ã‚’æ€ã†ã‚ˆã†ã«ãªã£ãŸã‹ ã“ã®è¨˜äº‹ã¯ Jij Advent Calendar 2024ã€Haskell Advent Calendar 2024ã€ãŠã‚ˆã³Rust Advent Calendar 2024ã‚·ãƒªãƒ¼ã‚º2 ã®18æ—¥ç›®ã®è¨˜äº‹ã§ã™ã€‚ å„ã‚«ãƒ¬ãƒ³ãƒ€ãƒ¼ã®å‰å¾Œã®è¨˜äº‹ã¯ä»¥ä¸‹ã®é€šã‚Šã§ã™ï¼š Haskell Advent Calendar 2024 å‰ã®è¨˜äº‹ï¼š æ¬¡ã®è¨˜äº‹ï¼šgotoki_no_joe ã•ã‚“ã®ã€Œé›†ã‚ã‚‹DPã«ã¤ã„ã¦ã€ Rust Advent Calendar 2024 ã‚·ãƒªãƒ¼ã‚º2 å‰ã®è¨˜äº‹ï¼šyasuo-ozu ã•ã‚“ã®ã€Œæœ¬ç‰©ã®Specializationã‚’Stable Rustã§ï¼ã€ æ¬¡ã®è¨˜äº‹ï¼šhyumanase ã•ã‚“ã®ã€ŒRust.Tokyo 2024 ã«åˆå‚åŠ ã—ãŸã€ Jij Advent
kazutanaka 2024/12/19
rust

haskell
ãƒªãƒ³ã‚¯
æŠ€è¡“æ›¸å…¸16ã«ã€Haskellã§ã®åž‹ãƒ¬ãƒ™ãƒ«ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®æœ¬ã‚’å‡ºã—ã¾ã™ | é›‘è¨˜å¸³
ä»Šåº¦ã®5æœˆ26æ—¥ï¼ˆæ—¥ï¼‰ã«æ± è¢‹ã§ã‚ªãƒ•ãƒ©ã‚¤ãƒ³é–‹å‚¬ã•ã‚Œã‚‹æŠ€è¡“æ›¸å…¸16ã«ã€ã‚µãƒ¼ã‚¯ãƒ«ã€Œã ã‚ã½ãƒ©ãƒœã€ã§æ–°åˆŠã€ŒHaskellã§ã®åž‹ãƒ¬ãƒ™ãƒ«ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã€ã‚’å‡ºã—ã¾ã™ã€‚æ—¢åˆŠã‚‚åœ¨åº«ãŒã‚ã‚‹ã‚‚ã®ã¯é ’å¸ƒã—ã¾ã™ã€‚ æŠ€è¡“æ›¸å…¸16ã®åŸºæœ¬çš„ãªæƒ…å ±ã¯ä»¥ä¸‹ã®é€šã‚Šã§ã™ã€‚ ã‚ªãƒ³ãƒ©ã‚¤ãƒ³é–‹å‚¬ ä¼šæœŸï¼š2024/05/25ï¼ˆåœŸï¼‰ã€œ2024/06/09ï¼ˆæ—¥ï¼‰ ä¼šå ´ï¼šæŠ€è¡“æ›¸å…¸ã‚ªãƒ³ãƒ©ã‚¤ãƒ³ãƒžãƒ¼ã‚±ãƒƒãƒˆ ã‚ªãƒ•ãƒ©ã‚¤ãƒ³é–‹å‚¬ ä¼šæœŸï¼š2024/05/26 (æ—¥) 11:00ï½ž17:00 ä¼šå ´ï¼šæ± è¢‹ãƒ»ã‚µãƒ³ã‚·ãƒ£ã‚¤ãƒ³ã‚·ãƒ†ã‚£ å±•ç¤ºãƒ›ãƒ¼ãƒ«Dï¼ˆæ–‡åŒ–ä¼šé¤¨ãƒ“ãƒ«2Fï¼‰ å‚åŠ ï¼šå…¥å ´ç„¡æ–™ æŠ€è¡“æ›¸å…¸16 å…¬å¼ãƒšãƒ¼ã‚¸ ã‚µãƒ¼ã‚¯ãƒ«ã®ãƒšãƒ¼ã‚¸ã¯ä»¥ä¸‹ã«ãªã‚Šã¾ã™ï¼š ã ã‚ã½ãƒ©ãƒœ | æŠ€è¡“æ›¸å…¸ ã‚ªãƒ•ãƒ©ã‚¤ãƒ³é–‹å‚¬ã®å½“ã‚µãƒ¼ã‚¯ãƒ«ã®é…ç½®ã¯ã€Œã‚07ã€ã§ã™ã€‚å…¥å£è¿‘ãã«ãªã‚Šã¾ã™ã€‚ æ–°åˆŠã€ŒHaskellã§ã®åž‹ãƒ¬ãƒ™ãƒ«ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã€ã«ã¤ã„ã¦ Haskellã§åž‹ãƒ¬ãƒ™ãƒ«ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã‚’ã‚„ã‚‹æœ¬ã§ã™ã€‚åž‹ã¨ã‚«ã‚¤ãƒ³ãƒ‰ã®åŸºæœ¬ã‹ã‚‰å§‹ã¾
kazutanaka 2024/10/02
haskell
ãƒªãƒ³ã‚¯
Haskellã§ã®åž‹ãƒ¬ãƒ™ãƒ«ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°
Haskellã§ã®åž‹ãƒ¬ãƒ™ãƒ«ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®è§£èª¬æ›¸ã§ã™ã€‚
kazutanaka 2024/10/02
haskell
ãƒªãƒ³ã‚¯
Haskellã¨ä½™ä»£æ•°(Coalgebra) - æœæ—¥ãƒãƒƒãƒˆã€€æŠ€è¡“è€…ãƒ–ãƒã‚°
ã“ã“ã§ã¯Haskellã®ä¸ç´šè€…å‘ã‘ã®ãƒˆãƒ”ãƒƒã‚¯ã‚’ç°¡å˜ã«å–ã‚Šä¸Šã’ãŸã„ã¨æ€ã„ã¾ã™ã€‚ ä»Šå›žã¯ä½™ä»£æ•°(Coalgebra)ã«ã¤ã„ã¦ã§ã™ã€‚Haskellã‚’æ›¸ã„ã¦ã„ã‚‹ã¨ã€Žä½™ï¼ˆãªã‚“ã¨ã‹ï¼‰ã€ã¨ã„ã†è¨€è‘‰ã‚’ã¿ã‹ã‘ã‚‹ã“ã¨ãŒã‚ã‚Šã¾ã™ã€‚ã“ã‚Œã¯è‹±èªžã®æŽ¥é è¾ž Co- ã®è¨³ã§ã€ã“ã“ã§ã¯ä»£æ•°(Algebra)ã®åŒå¯¾(Dual)ã¨ã„ã†æ„å‘³ã§ä½™ä»£æ•°ã¨å‘¼ã°ã‚Œã¦ã„ã¾ã™ã€‚ ã•ã¦Haskellã‚„OCamlã®ãƒ‡ãƒ¼ã‚¿åž‹ã¯ä¸€èˆ¬ã«ä»£æ•°çš„ãƒ‡ãƒ¼ã‚¿åž‹(Algebraic data type)ã¨å‘¼ã°ã‚Œã¾ã™ã€‚ã“ã®ãƒ‡ãƒ¼ã‚¿åž‹ã«ãƒ‘ã‚¿ãƒ¼ãƒ³ãƒžãƒƒãƒãƒ³ã‚°ã‚’åŠ ãˆã¦ã€ï¼ˆã‚ªãƒ–ã‚¸ã‚§ã‚¯ãƒˆæŒ‡å‘è¨€èªžãªã©ã¨æ¯”è¼ƒã—ãŸã¨ãã®ï¼‰é–¢æ•°åž‹è¨€èªžã®ç‰¹å¾´ã¨ç´¹ä»‹ã•ã‚Œã‚‹ã“ã¨ã‚‚å¤šã„ã¨æ€ã„ã¾ã™ã€‚å®Ÿã¯ã“ã®ãƒ‡ãƒ¼ã‚¿åž‹ã«ã¯ã‚‚ã¨ã‚‚ã¨ä½™ãƒ‡ãƒ¼ã‚¿(Codata)ã¨å‘¼ã°ã‚Œã‚‹ã‚ˆã†ãªç›¸æ–¹ãŒã„ãŸã®ã§ã™ãŒã€äººé¡žãŒæ‰±ã†ã«ã¯æ—©ã™ãŽãŸã®ã‹ã€ãƒ‡ãƒ¼ã‚¿åž‹ã«æ¯”ã¹ã‚‹ã¨ä½™ãƒ‡ãƒ¼ã‚¿ã¯é•·ã‚‰ãå½±ã®å˜åœ¨ã§ã‚ã‚Šã¾ã—ãŸï¼ˆã¡ãªã¿ã«ä½™ãƒ‡ãƒ¼ã‚¿ã¯å£èªžä¸Šã¯ã‚³ãƒ‡ãƒ¼ã‚¿ã¨å‘¼ã¶ã‹ã‚‚
kazutanaka 2023/10/16
haskell
ãƒªãƒ³ã‚¯
Windows PCã«Haskellãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ç’°å¢ƒã‚’ä½œã‚‹ï¼ˆ2023/10/04ç‰ˆï¼‰
ã¯ã˜ã‚ã« ã“ã®è¨˜äº‹ã¯ã€Windows 11 + WSL2:Ubuntu + VSCode ã‚’ã¤ã‹ã£ãŸ Haskellãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ç’°å¢ƒã‚’æ§‹ç¯‰ã™ã‚‹æ‰‹é †ã‚’ã¾ã¨ã‚ãŸã‚‚ã®ã§ã™ã€‚ YouTubeå‹•ç”»ã‚’ä½œã‚Šã¾ã—ãŸï¼ˆ2023/10/28ï¼‰ çµŒç·¯ Windows PCã§ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã‚’å§‹ã‚ã‚ˆã†ã¨ã„ã†æ–¹ã€…ã¨Haskellãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã‚’æ¥½ã—ã‚‚ã†ã¨ã„ã†ã“ã¨ã«ãªã£ãŸã®ã§ã€Windows PCã«Haskellãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ç’°å¢ƒãŒå¿…è¦ã«ãªã‚Šã¾ã—ãŸã€‚ç†è€…ã¯ã€æ™®æ®µ Pop!_OS (Ubuntuç³»Linux)ã‚·ã‚¹ãƒ†ãƒ ä¸Šã§Haskellãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã‚’æ¥½ã—ã‚“ã§ã„ã¾ã™ã€‚ä»Šå›žã¯ã€Windowsã«ã¯ä¸æ…£ã‚Œã¨ã„ã†ã“ã¨ã‚‚ã‚ã£ã¦ã€Windowsãƒã‚¤ãƒ†ã‚£ãƒ–ãªã‚·ã‚¹ãƒ†ãƒ ä¸Šã«ä½œã£ãŸã‚ã‘ã§ã¯ãªãã€Windows Subsystem for Linuxã«ã‚¤ãƒ³ã‚¹ãƒˆãƒ¼ãƒ«ã—ãŸUbuntuä¸Šã«æ§‹ç¯‰ã—ãŸã‚‚ã®ã§ã™ã€‚ æ‰‹é †ã©ãŠã‚Šé€²ã‚ã‚Œã°ã€ã™ã‚“ãªã‚Šã§ãã‚‹ã¯ãšã§
kazutanaka 2023/10/13
haskell
ãƒªãƒ³ã‚¯
Prime numbers - HaskellWiki
In mathematics, amongst the natural numbers greater than 1, a prime number (or a prime) is such that has no divisors other than itself (and 1). This means that it cannot be represented as a product of any two of such numbers. Prime Number Resources At Wikipedia: Prime Numbers Sieve of Eratosthenes HackageDB packages: arithmoi: Various basic number theoretic functions; efficient array-based sieves,
kazutanaka 2023/10/05
haskell
ãƒªãƒ³ã‚¯
Haskellã®ç’°å¢ƒæ§‹ç¯‰2023
ã“ã®è¨˜äº‹ã¯Haskell Advent Calendar 2022ã®1æ—¥ç›®ã®è¨˜äº‹ã§ã™ã€‚ ã“ã®è¨˜äº‹ã§ã¯ã€2022å¹´12æœˆæ™‚ç‚¹ã®Haskellã®ç’°å¢ƒæ§‹ç¯‰æ‰‹é †ã‚’ç´¹ä»‹ã—ã¾ã™ã€‚2023å¹´ã«ãªã£ã¦ã‚‚é€šç”¨ã™ã‚‹ã¨ã„ã„ãªã‚ã€‚ å¯¾è±¡ã¨ã™ã‚‹ç’°å¢ƒ å¯¾è±¡ã¨ã™ã‚‹ç’°å¢ƒã¯ä»¥ä¸‹ã®é€šã‚Šã§ã™ï¼š Unixç³» macOS (Intel / Apple Silicon) Linux (x86_64 / aarch64) WSL2ã‚’å«ã‚€ï¼ˆWSL1ã¯ä¸å…·åˆãŒã‚ã£ãŸæ°—ãŒã™ã‚‹ã®ã§é¿ã‘ã¦ãã ã•ã„ï¼‰ Windows (x64) Armç³»CPUæè¼‰ã®ã‚³ãƒ³ãƒ”ãƒ¥ãƒ¼ã‚¿ãƒ¼ã‚’ä½¿ã£ã¦ã„ã‚‹å ´åˆã¯ã€åˆ¥é€”LLVMãŒå¿…è¦ã«ãªã‚‹å ´åˆãŒã‚ã‚Šã¾ã™ã€‚ä»¥ä¸‹ã«å½“ã¦ã¯ã¾ã‚‹å ´åˆã¯ã€ã€Œè£œéºï¼šLLVMãƒãƒƒã‚¯ã‚¨ãƒ³ãƒ‰ã‚’ä½¿ã†ã€ã‚‚èªã‚“ã§ãã ã•ã„ï¼š 64ãƒ“ãƒƒãƒˆArmï¼ˆApple Silicon Macã‚„ã€Raspberry Pi OSã®64ãƒ“ãƒƒãƒˆç‰ˆãªã©ï¼‰ã§ã€GHC 9.0ã¾ãŸã¯ãã‚Œä»¥å‰ã®ãƒãƒ¼ã‚¸ãƒ§
kazutanaka 2023/08/25
haskell
ãƒªãƒ³ã‚¯
Algorithm Design with Haskellã§ã‚¢ãƒ«ã‚´ãƒªã‚ºãƒ ã‚’å¦ã¶ - æœæ—¥ãƒãƒƒãƒˆã€€æŠ€è¡“è€…ãƒ–ãƒã‚°
ã¯ã˜ã‚ã« é–‹ç™ºéƒ¨ã®cbmkageã§ã™ã€‚ ä»•äº‹ã§ãƒ—ãƒã‚°ãƒ©ãƒ ã‚’æ›¸ã„ã¦ã„ã‚‹ã¨ã€ã©ã†ã—ãŸã‚‰æœŸå¾…é€šã‚Šã«ã€ã‹ã¤é«˜é€Ÿã«å‹•ä½œã™ã‚‹ã‚¢ãƒ«ã‚´ãƒªã‚ºãƒ ãŒå®Ÿè£…ã§ãã‚‹ã‹ã€è€ƒãˆã‚‹ã“ã¨ãŒã‚ã‚Šã¾ã™ã€‚ æœ¬è¨˜äº‹ã§ã¯ã€ã‚¢ãƒ«ã‚´ãƒªã‚ºãƒ ã«ã¤ã„ã¦æ–°ãŸãªè¦–ç‚¹ã‚’ä¸Žãˆã¦ãã‚Œã‚‹æœ¬ã€ŒAlgorithm Design with Haskellã€ã‚’ç´¹ä»‹ã—ã¾ã™ã€‚ æœ¬è¨˜äº‹ã¯Haskellä¸ç´šè€…å‘ã‘ã§ã™ã€‚Haskellã®æ–‡æ³•ã‚„ã€ä»£è¡¨çš„ãªãƒªã‚¹ãƒˆæ“ä½œé–¢æ•°ã‚’çŸ¥ã£ã¦ã„ã‚‹ã“ã¨ã‚’å‰æã¨ã—ã¦ã„ã¾ã™ã€‚ ã¯ã˜ã‚ã« Algorithm Design with Haskellã¨ã¯ æº–å‚™: é–¢æ•°ã®åŒå€¤é–¢ä¿‚ è²ªæ¬²ã‚¢ãƒ«ã‚´ãƒªã‚ºãƒ ã®PARTç´¹ä»‹ è²ªæ¬²ã‚¢ãƒ«ã‚´ãƒªã‚ºãƒ ã¨ã¯ å€™è£œã®ç”Ÿæˆã¨é¸æŠž è²ªæ¬²ã‚¢ãƒ«ã‚´ãƒªã‚ºãƒ ã¸ã®æ”¹å–„ ã¾ã¨ã‚ æŽ¡ç”¨æƒ…å ± Algorithm Design with Haskellã¨ã¯ Algorithm Design with Haskell ä½œè€…:Bird, Richard,Gib
kazutanaka 2023/07/10
haskell

algorithm
ãƒªãƒ³ã‚¯
Richard Bird (computer scientist) - Wikipedia
kazutanaka 2023/07/10
haskell
ãƒªãƒ³ã‚¯
Extensible Effectsã¨Tagless Finalã§å®Ÿè£…ã™ã‚‹DI - Qiita
ã“ã‚Œã¯ FOLIO Advent Calendar 2017 14æ—¥ç›®ã®æŠ•ç¨¿ã§ã™ã€‚ Haskellã§DIã‚’å®Ÿè£…ã™ã‚‹ä¸€ç•ªã„ã„æ–¹æ³•ã¯ä½•ã‹ã€æ§˜ã€…ãªæ‰‹æ³•ã‚’æ¯”è¼ƒã—ãªãŒã‚‰ãƒ™ã‚¹ãƒˆãªæ–¹æ³•ã‚’æŽ¢ã—ã¦ã„ã“ã†ã¨æ€ã„ã¾ã™ã€‚ è¨˜äº‹ä¸ã®ã‚³ãƒ¼ãƒ‰ã¯è¨˜è¿°ã‚’ç°¡æ½”ã«ã™ã‚‹ãŸã‚å®Ÿè¡Œã«å¿…è¦ãªGHCæ‹¡å¼µã‚„importã‚’æ›¸ã„ã¦ã„ã¾ã›ã‚“ã€‚å®Œå…¨ãªã‚³ãƒ¼ãƒ‰ã¯ä»¥ä¸‹ã®gistã«è¼‰ã›ã¦ã„ã‚‹ã®ã§å‚ç…§ã—ã¦ä¸‹ã•ã„ã€‚ https://gist.github.com/lotz84/7207fa3a6b806807defd04e773f8dc78 æ˜“ã—ã„ä¾å˜æ€§ã®æ³¨å…¥ DI(Dependency Injection, ä¾å˜æ€§ã®æ³¨å…¥)ã¨ã¯ä½•ã§ã—ã‚‡ã†ã‹ã€‚Wikipediaã‹ã‚‰èª¬æ˜Žã‚’å¼•ç”¨ã™ã‚‹ã¨ã€ ä¾å˜æ€§ã®æ³¨å…¥ã¨ã¯ã€ã‚³ãƒ³ãƒãƒ¼ãƒãƒ³ãƒˆé–“ã®ä¾å˜é–¢ä¿‚ã‚’ãƒ—ãƒã‚°ãƒ©ãƒ ã®ã‚½ãƒ¼ã‚¹ã‚³ãƒ¼ãƒ‰ã‹ã‚‰æŽ’é™¤ã—ã€å¤–éƒ¨ã®è¨å®šãƒ•ã‚¡ã‚¤ãƒ«ãªã©ã§æ³¨å…¥ã§ãã‚‹ã‚ˆã†ã«ã™ã‚‹ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢ãƒ‘ã‚¿ãƒ¼ãƒ³ã§ã‚ã‚‹ã€‚è‹±èªžã®é æ–‡å—ã‹ã‚‰DIã¨ç•¥
kazutanaka 2023/05/11
haskell
ãƒªãƒ³ã‚¯
Haskell Programming
We're writing this book because many have found learning Haskell to be difficult and it doesn't have to be. Learning Haskell from the ground up is easier and works better - for both experienced hackers and people new to programming. The language is different enough from any you might've already tried that building up from the foundations will be less difficult and more enjoyable. If you are an exp
kazutanaka 2023/03/03
haskell
ãƒªãƒ³ã‚¯
Rust vs. Haskell
Rust and Haskell donâ€™t shy away from powerful features. As a result, both languages have steep learning curves when compared with other languages. Trying to learn Rust or Haskell can be frustrating, especially in the first couple of months. But if you already know Rust, you have a head start with Haskell; and vice versa. In this article, we want to show how knowledge of one of these languages can
kazutanaka 2023/02/15
haskell

rust
ãƒªãƒ³ã‚¯
ç¢ºçŽ‡ã¨ãƒ¢ãƒŠãƒ‰ã¨ç¢ºçŽ‡çš„ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚° - Qiita
ã“ã®è¨˜äº‹ã¯ADVANCED BEGINNERã‹ã‚‰COMPETENTã®æ–¹ã‚’å¯¾è±¡èªè€…ã¨ã—ã¦æ›¸ã‹ã‚Œã¦ã„ã¾ã™ã€‚ ã‚³ã‚¤ãƒ³ã®è£è¡¨ã‚„ã‚µã‚¤ã‚³ãƒã®å‡ºç›®ã¯ã‚ˆãç¢ºçŽ‡å¤‰æ•°ã«ã‚ˆã£ã¦è¡¨ã•ã‚Œã¾ã™ã€‚ç¢ºçŽ‡å¤‰æ•°ãŒäº’ã„ã«ä¾å˜ã—ã¦ã„ã‚‹ã‚ˆã†ãªãƒ¢ãƒ‡ãƒ«ã‚’è¨˜è¿°ã™ã‚‹æ‰‹æ³•ã¨ã—ã¦ã‚°ãƒ©ãƒ•ã‚£ã‚«ãƒ«ãƒ¢ãƒ‡ãƒ«ã¨äº‘ã†ã‚‚ã®ãŒã‚ã‚Šã¾ã™ã€‚ä¾‹ãˆã°ã€ã‚ã‚‹åˆ†å¸ƒã«å¾“ã£ã¦è¡¨ãŒå‡ºã‚‹ç¢ºçŽ‡ãŒåã£ãŸã‚³ã‚¤ãƒ³ãŒé¸ã°ã‚ŒãŸå¾Œã€ãã®ã‚³ã‚¤ãƒ³ã‚’æŠ•ã’ã¦è¡¨è£ãŒæ±ºã¾ã‚‹ã‚ˆã†ãªå®Ÿé¨“ã‚’è€ƒãˆãŸå ´åˆã€ã‚³ã‚¤ãƒ³ã®ç¢ºçŽ‡å¤‰æ•°ã‚’ $X$, ã‚³ã‚¤ãƒ³ã®è¡¨è£ã®ç¢ºçŽ‡å¤‰æ•°ã‚’ $Y$ ã¨ã™ã‚‹ã¨ã€ã“ã®ç³»ã‚’è¨˜è¿°ã™ã‚‹ã‚°ãƒ©ãƒ•ã‚£ã‚«ãƒ«ãƒ¢ãƒ‡ãƒ«ã¯ ã“ã®ã‚ˆã†ã«ãªã‚Šã¾ã™ã€‚ã¨ã“ã‚ã§ $X$ ã¯è¡¨ãŒå‡ºã‚‹ç¢ºçŽ‡Doubleä¸Šã®ç¢ºçŽ‡å¤‰æ•°RVar Doubleã§ã€ $Y$ ã¯ $X$ ã®çµæžœã«ä¾å˜ã—ãŸã‚³ã‚¤ãƒ³ã®è£è¡¨Boolä¸Šã®ç¢ºçŽ‡å¤‰æ•°Double -> RVar Boolã§ã‚ã‚‹ã¨è€ƒãˆã‚‹ã¨ã—ã¾ã™ã€‚ä»Šã‚³ã‚¤ãƒ³ãŒãƒ©ãƒ³ãƒ€ãƒ ã«é¸ã°ã‚Œã‚‹ã¨è¨€ã†æ§‹é€ ã‚’ å¿˜ã‚Œã¦ ã‚³ã‚¤ãƒ³ã®è¡¨è£ãŒå‡ºã‚‹ç¢º
kazutanaka 2022/12/26
haskell
ãƒªãƒ³ã‚¯
Haskellã®åž‹ã‚·ã‚¹ãƒ†ãƒ (+æ‹¡å¼µ)ã‚’å®Ÿè£…ã—ã¦å¦ã¶
å°Žå…¥ Mark P. Jones: Typing Haskell in Haskellã¨ã„ã†è«–æ–‡ãŒã‚ã‚Šã¾ã™ã€‚ã“ã®è«–æ–‡ã¯ã€é¡Œé€šã‚ŠHaskellã§Haskellã®åž‹ãƒã‚§ãƒƒã‚«ã‚’å®Ÿè£…ã™ã‚‹ã¨ã„ã†ã‚‚ã®ã§ã™ã€‚è©³ç´°ãªè§£èª¬ãŒã•ã‚Œã¦ãŠã‚Šéžå¸¸ã«ã‚ã‹ã‚Šã‚„ã™ãã€ã¾ãŸåž‹ã‚·ã‚¹ãƒ†ãƒ ã®ä½“ç³»çš„ãªçŸ¥è˜ãŒç„¡ãã¦ã‚‚ç†è§£ã§ãã‚‹ã‚ˆã†ã«æ§‹æˆã•ã‚Œã¦ã„ã¾ã™ã€‚ ã—ã‹ã—ãªãŒã‚‰ã€ã“ã®è«–æ–‡ã«ã¯ã‚½ãƒ¼ã‚¹ã‚³ãƒ¼ãƒ‰ã‚’å…¥åŠ›ã«ã¨ã£ã¦åž‹ãƒã‚§ãƒƒã‚¯ã‚’è¡Œã†ã¾ã§ã«å¿…è¦ãªå®Ÿè£…ã®å…¨ã¦ã¯å«ã¾ã‚Œã¦ãŠã‚‰ãšã€ãƒ—ãƒã‚°ãƒ©ãƒ ã‚’å…¥åŠ›ã«å–ã£ã¦å‹•ä½œã•ã›ã‚‹ã¾ã§ã«ã¯ã„ãã¤ã‹ã®å¤‰æ›ã‚„è§£æžãŒå¿…è¦ã§ã™ã€‚Titan Type Checkerã¯ã€ã“ã‚Œã‚‰ä¸è¶³ã—ã¦ã„ã‚‹æ©Ÿèƒ½(+æ‹¡å¼µ)ã‚’å®Ÿè£…ã—ã€å®Ÿéš›ã«ã‚¹ã‚¿ãƒ³ãƒ‰ã‚¢ãƒãƒ³ã«å‹•ä½œã™ã‚‹åž‹ãƒã‚§ãƒƒã‚«ã‚’å®Ÿè£…ã—ãŸã‚‚ã®ã§ã™ã€‚æœ¬è¨˜äº‹ã§ã¯ã€è«–æ–‡ã§è§£èª¬ã•ã‚Œã¦ã„ãªã„äº‹æŸ„ã‚’ä¸å¿ƒã«æŒ¯ã‚Šè¿”ã‚ŠãŸã„ã¨æ€ã„ã¾ã™ã€‚ Typing Haskell in Haskellã®å‹•ä½œã¾ã§ æ§‹æ–‡è§£æž (Parser.hs)
kazutanaka 2022/11/24
haskell
ãƒªãƒ³ã‚¯
ä½™ä»£æ•°ãªæœ‰é™æ©Ÿæ¢°ã®Haskellå®Ÿè£…
æ¦‚è¦ ã“ã®è¨˜äº‹ã¯ Bart Jacobs ã«ã‚ˆã‚‹ "Introduction to Coalgebra" ã¨ã„ã†å¤§å¤‰é¢ç™½ã„æœ¬ã®ä¸€éƒ¨ã‚’ Haskell ã§å®Ÿè£…ã—ç¢ºèªã—ãŸãƒ¡ãƒ¢ã§ã‚ã‚‹ã€‚ä½™ä»£æ•°ã‚„çµ‚ä½™ä»£æ•°ã®æ¦‚å¿µã‚’Haskell ã§ã®å®Ÿè£…ã‚’å¼¾å¹•ã¨ã—ã¦ã§ãã‚‹ã ã‘ã•ã‚Šã’ãªãå°Žå…¥ã™ã‚‹ã€‚ã¾ãŸãã®é©ç”¨ä¾‹ã¨ã—ã¦Stream ã¨æœ‰é™ã‚ªãƒ¼ãƒˆãƒžãƒˆãƒ³ã‚’æ§‹æˆã™ã‚‹ã€‚çµæžœã¨ã—ã¦ä½™ä»£æ•°ãŒæ™‚é–“ç™ºå±•ã®æ§‹é€ (structure)ã‚’ä¸Žãˆã‚‹ã¨ãã€çµ‚ä½™ä»£æ•°ã¯ãã®æŒ¯ã‚‹èˆžã„(behaviour)ã‚’ä¸Žãˆã‚‹ã“ã¨ã‚’è¦‹ã‚‹ã€‚ã¾ãŸä½™å¸°ç´çš„ï¼ˆä½™å†å¸°çš„ï¼‰å®šç¾©ã¨ã„ã†ã“ã¨ã«ã¤ã„ã¦ã‚‚è£œè¶³ã™ã‚‹ã€‚åœè«–ã®èªžå½™ã¯æœ¬è³ªçš„ãªç†è§£ã«ã¯å·®ã—æ›¿ãˆãªã„ã¨æ€ã‚ã‚Œã‚‹ç¯„å›²ã§æœªå®šç¾©ã®ã¾ã¾ç”¨ã„ã¦ã„ã‚‹ã€‚ Stream ã¨ä½™ä»£æ•° Stream æœ‰é™ã‚ªãƒ¼ãƒˆãƒžãƒˆãƒ³ã‚’æ‰±ã†å‰ã« Stream ã§ã‚¦ã‚©ãƒ¼ãƒŸãƒ³ã‚°ã‚¢ãƒƒãƒ—ã™ã‚‹ã€‚Stream ã¨ã¯ã‚ã‚‹åž‹ã®å€¤ã®ç„¡é™å€‹æ•°ã®åˆ—ã§ã‚ã‚‹ã€‚ã„ã¾ Pair Functor ã‚’æ¬¡ã®ã‚ˆ
kazutanaka 2022/07/05
haskell
ãƒªãƒ³ã‚¯
https://homepages.inf.ed.ac.uk/wadler/papers/marktoberdorf/baastad.pdf
kazutanaka 2022/03/03
haskell
ãƒªãƒ³ã‚¯
Fixé–¢æ•°ã®æ•™ç§‘æ›¸ (Haskell) - Qiita
fixé–¢æ•°ã«ã¤ã„ã¦ã®è§£èª¬è¨˜äº‹ãŒå°‘ãªã‹ã£ãŸã®ã§ã€é ‘å¼µã£ã¦ã‹ãé›†ã‚ãŸæƒ…å ±ã‚’ã¾ã¨ã‚ã¦ãŠã“ã†ã¨æ€ã„ã¾ã™ã€‚ å†…å®¹ã¨ã—ã¦ã¯ã€ fixé–¢æ•° <- ä»Šã‚³ã‚³ MonadFixã¨å†å¸°çš„doè¨˜æ³• ArrowLoopã¨å†å¸°çš„arrowè¨˜æ³• ã‚’è¤‡æ•°ã®è¨˜äº‹ã«åˆ†ã‘ã¦ç´¹ä»‹ã—ã¾ã™ã€‚ fixé–¢æ•°ãªã‚‰å¤§ä½“çŸ¥ã£ã¦ã„ã‚‹ã‚ˆã£ã¦ã„ã†äººã¯ã€èª¬æ˜Žã‚’é£›ã°ã—ã¦ã€å¾Œã‚ã®ç·´ç¿’å•é¡Œã‹ã‚‰å§‹ã‚ã¦ã‚‚æ¥½ã—ã„ã¨æ€ã„ã¾ã™ã€‚ fixé–¢æ•°ã®ä»•çµ„ã¿ã¯ã„ã„ã‹ã‚‰ã€ä½¿ã„æ–¹ã ã‘æ•™ãˆã¦ï½žï½žã£ã¦ã„ã†äººã¯ã€fixé–¢æ•°ã®æ´»ç”¨æ³•ã‹ã‚‰å§‹ã‚ã‚‹ã¨å¹¸ã›ã‹ã‚‚ã—ã‚Œã¾ã›ã‚“ã€‚ ã“ã®è¨˜äº‹ã«è¼‰ã›ã¦ã„ã‚‹ã‚½ãƒ¼ã‚¹ã‚³ãƒ¼ãƒ‰ã¯ã€ãƒ¢ã‚¸ãƒ¥ãƒ¼ãƒ«ã®importæ–‡ã‚’çœã„ã¦ã„ã¾ã™ã€‚ãªã®ã§ã€å®Ÿéš›ã«æ‰‹å…ƒã®ç’°å¢ƒã§å‹•ã‹ã—ã¦ã¿ã‚‹ã¨ãã¯ã€æ¬¡ã®importæ–‡ã‚’ã‚½ãƒ¼ã‚¹ã‚³ãƒ¼ãƒ‰ã®å†’é ã«è¿½åŠ ã—ã¦å®Ÿè¡Œã—ã¦ãã ã•ã„ã€‚ import Control.Monad.Fix -- fixé–¢æ•°ã‚’ã‚¤ãƒ³ãƒãƒ¼ãƒˆ import Control.Monad.State -
kazutanaka 2022/02/17
haskell
ãƒªãƒ³ã‚¯
MonadFix is Time Travel
MonadFix is a pretty difficult concept, and I personally found much of the existing content about it online to be somewhat unhelpful. I answered a request for an ELI5 of MonadFix on Reddit, and someone suggested I turn my answer into a blog post. So here it is, edited with more content and detail. First, letâ€™s lay some groundwork. At the core of all of this is the fix function, which simply uses H
kazutanaka 2022/02/17
haskell
ãƒªãƒ³ã‚¯
ã‚ªãƒ–ã‚¸ã‚§ã‚¯ãƒˆæŒ‡å‘ã«ãŠã‘ã‚‹Visitorãƒ‘ã‚¿ãƒ¼ãƒ³ã¯ã€Fä»£æ•°ã«ã‚ˆã‚‹Î¼å†å¸°ã‚’ Church encoding ã—ãŸã‚‚ã®
æŸæ‰€ã§ ã‚ªãƒ–ã‚¸ã‚§ã‚¯ãƒˆæŒ‡å‘ (OOP) ã«ãŠã‘ã‚‹ Visitorãƒ‘ã‚¿ãƒ¼ãƒ³ ã«ã¤ã„ã¦è©±ã•ã‚Œã¦ã„ãŸã®ã§ã€è‡ªåˆ†ã®é–¢æ•°åž‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®ãƒ¡ãƒ¢ç”¨ã«æ•´ç†ã—ã¦ã¿ãŸã„ã¨æ€ã„ã¾ã™ã€‚ ï¼ˆTwitterã§æ›¸ãã«ã¯å°‘ã—é•·ã™ãŽãŸã®ã§ã€ã“ã¡ã‚‰ã«æ•´ç†ï¼‰ 2021/01/10 EDIT: Church (Boehmâ€“Berarducci) ã‚¨ãƒ³ã‚³ãƒ¼ãƒ‡ã‚£ãƒ³ã‚°ã¨Vistorãƒ‘ã‚¿ãƒ¼ãƒ³ã«ã¤ã„ã¦ã®å…·ä½“çš„ãªäº‹ä¾‹ã¯ã€ã“ã¡ã‚‰ã®è¨˜äº‹ãŒåˆ†ã‹ã‚Šã‚„ã™ã„ã®ã§ã€ã”å‚ç…§ãã ã•ã„ã€‚ Haskell for all: The visitor pattern is essentially the same thing as Church encoding æ¦‚è¦ OOP ã«ãŠã‘ã‚‹ Visitor ãƒ‘ã‚¿ãƒ¼ãƒ³ã¯ã€é–¢æ•°åž‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°çš„ã«è¨€ãˆã°ã€ï¼ˆãƒ‘ã‚¿ãƒ¼ãƒ³ãƒžãƒƒãƒã™ã‚‹ï¼‰Fä»£æ•°ã«ã‚ˆã‚‹Î¼å†å¸°ã‚’ Church encoding ã—ãŸã‚‚ã®ã€‚ ã¤ã¾ã‚Šã€ ã‚’é–¢æ•°é©ç”¨ã—ã¦ã€çµæžœ a
kazutanaka 2022/01/11
haskell
ãƒªãƒ³ã‚¯
recursion-drill/README.md at main Â· kazu-yamamoto/recursion-drill
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
kazutanaka 2021/12/10
haskell

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