Haskellã®forallã«ã¤ã„ã¦ç†è§£ã—ãŸã“ã¨ã‚’書ã„ã¦ãŠã(ランクN多相é™å®š)。 - uehaj's blogHaskellã®forallã«ã¤ã„ã¦ç†è§£ã—ãŸã“ã¨ã‚’書ã„ã¦ãŠãyo!(ランクN多相é™å®š*1 )。 å‰æ知è˜ã®ãŠã•ã‚‰ã„: 型・多相型・型検査・型推論… 最åˆã«åŸºæœ¬æ¦‚念を整ç†ã—ã¦ãŠãã¾ã™ã€‚ Intã‚„Int->Intã¯å˜ç›¸åž‹ã€aã‚„a->aã¯å¤šç›¸åž‹ã§ã‚る。ã“ã“ã§aを型変数ã¨å‘¼ã¶ã€‚型変数をå«ã‚€åž‹ãŒå¤šç›¸åž‹ã£ã¦ã‚ã‘ã§ã™ã€‚ 言語処ç†ç³»ã®å®Ÿè£…上ã€åž‹ã¨ã„ã†æ¦‚念ã¯åž‹å¤‰æ•°ã‚„型コンストラクタã®ãƒ„ãƒªãƒ¼æ§‹é€ ã¨ã—ã¦è¡¨ç¾ã•ã‚Œã‚‹ã€‚Int,Char,[],->,(,),(,,,),IO aãªã©ãŒåž‹ã‚³ãƒ³ã‚¹ãƒˆãƒ©ã‚¯ã‚¿ã€‚ a,bãŒåž‹å¤‰æ•°ã€‚組åˆã›ã¦(a->[Int])->[b]->(a,b)ã¨ã‹ã€‚::ã®å³ã«æ›¸ãã‚„ã¤ã§ã™ã€‚ åž‹ã¯ã€ãƒ—ãƒã‚°ãƒ©ãƒ ã®å—é¢ä¸Šã«ç›´æŽ¥çš„実体ãŒã‚る関数や変数ã ã‘ã§ã¯ãªãã€å€¤ã‚’生ã˜ã•ã›ã‚‹éƒ¨åˆ†å¼ã™ã¹ã¦ã«ä»˜éšã—ã€ã‚³ãƒ³ãƒ‘イル時ã«æ±ºå®šã•ã‚Œã‚‹ã¹ãæƒ…å ±ã§ã‚ã‚‹(値ã‚ã‚‹ã¨ã“ã‚ã«åž‹ãŒã‚る。*2 )。ãれを決定ã—よã†ã¨ã„ã†ã®ãŒ(é™çš„)型検査ã§ã‚
Scala 㮠Future 㨠Haskell 㮠IO
Functors, Applicatives, And Monads In Pictures - adit.io
FRPã®è©± - maoeã®ãƒ–ãƒã‚°
What's the status of current Functional Reactive Programming implementations?
Scalazã¨Haskellã®æ¯”較記事ã¨ã„ã†ã‹ç–‘å•ç‚¹ã‚’ã„ã£ã±ã„書ã„ãŸã‚‰ã€shelarcyã•ã‚“ã«ã„ã£ã±ã„æ•™ãˆã¦ã‚‚らã£ãŸã‚ˆï¼
Specification for a Functional Reactive Programming language
QAã§å¦ã¶Monad - ã‚ã©ã‘ãªã„話
å‚ç…§é€æ˜Žãª malloc ã¯å¯èƒ½ã‹ (ã‚ã‚‹ã„㯠IO モナドã«ã¤ã„ã¦) @ val it: α → α = fun
{{#tags}}- {{label}}
{{/tags}}