Hindley-Milner型推論アルゴリズムをGroovyã§æ›¸ã„ã¦ã¿ãŸ - uehaj's blogã“ãªã„ã 「Haskellã®forallã«ã¤ã„ã¦ç†è§£ã—ãŸã“ã¨ã‚’書ã„ã¦ãŠã(ランクN多相é™å®š)ã€ã®è¨˜äº‹ã‚’書ã„ãŸã¨ãã«Hindley-Milner型推論アルゴリズム*1を調査ã™ã‚‹ã«ã‚ãŸã£ã¦ã€ã“ã¡ã‚‰ã«ã‚る「Scala by Exampleã€ã®16ç« ã«ã‚ã‚‹Scalaã§ã®å®Ÿè£…例をGroovyã«æ›¸ããªãŠã—ãŸã®ã§æ™’ã—ã¦ãŠãã¾ã™ã€‚ 以下ã®ã‚ˆã†ãªåž‹æ¤œæŸ»ãƒ»æŽ¨è«–ãŒã§ãã¾ã™ã€‚実行ã¯ã§ãã¾ã›ã‚“。 def listLenTest = LetRec('len', Lam('xs', App(App(App(Var('if'), App(Var('isEmpty'), Var('xs'))), Var('zero')), App(Var('succ'), App(Var('len'), App(Var('tail'), Var('xs')))) )), App(Var('len'), App( App(Var('cons'
Javaã®åž‹æŽ¨è«–Utilsクラスã®ã‚«ãƒ©ã‚¯ãƒª
{{#tags}}- {{label}}
{{/tags}}