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-展
Rust ã® DI を考ãˆã‚‹ –– Part 2: Rust ã«ãŠã‘ã‚‹ DI ã®æ‰‹æ³•ã®æ•´ç† - paild tech blog
{{#tags}}- {{label}}
{{/tags}}