Frege: JVMã®ãŸã‚ã®Haskellã®ã‚ˆã†ãªè¨€èªžãƒ‰ã‚¤ãƒ„人数å¦è€…ã€Gottlob Fregeæ°ã‹ã‚‰å付ã‘られãŸFregeã¯ã€JVMã®ãŸã‚ã®ç´”粋関数型ã®å¼·åŠ›ãªåž‹ä»˜ã言語ã 。Fregeã¯Haskellã¨ä¼¼ã¦ã„ã¦ã€ã€Œã‚‚ã£ã¨ã‚‚Haskellらã—ã„コードを修æ£ã›ãšã«ã€ã¾ãŸã¯ã€è¦‹ã¦åˆ†ã‹ã‚‹æœ€å°é™ã®èª¿æ•´ã ã‘ã§å‹•ã‹ã›ã‚‹ã€‚〠Fregeã®é–‹ç™ºè€…ãŸã¡ã«ã‚ˆã‚‹ã¨ã€Fregeã¯ã€Œãƒ‘ワーã€å˜ç´”ã•ã€è¡¨ç¾åŠ›ã®è±Šã‹ã•ã®çµ„ã¿åˆã‚ã›ã«ãŠã„ã¦ã€é¡žã‚’見ãªã„ã‚‚ã®ã€ã§ã‚る型システムをJVMã«æŒã¡è¾¼ã‚“ã 。ã“ã‚Œã«ã‚ˆã‚Šã€éžæ£æ ¼ 評価ã¨åž‹æŽ¨è«–をサãƒãƒ¼ãƒˆã—ã€ç´”粋性ã¨ãƒ‡ãƒ•ã‚©ãƒ«ãƒˆã®ä¸å¤‰æ€§ã‚’å¯èƒ½ã«ã™ã‚‹ã€‚ãã®ãŸã‚ã€å‰¯ä½œç”¨ã¯å®£è¨€ã•ã‚ŒãŸæ™‚ã®ã¿ä½¿ã†ã“ã¨ãŒã§ãる。Fregeã¯ã€ä»¥ä¸‹ã®ã‚ˆã†ãªHaskellã®æ©Ÿèƒ½ã‚’ã»ã¼ã‚µãƒãƒ¼ãƒˆã—ã¦ã„る。 ADTã¨ãƒ‘ラメトリックãƒãƒªãƒ¢ãƒ•ã‚£ã‚ºãƒ を用ã„ãŸåž‹ã‚¯ãƒ©ã‚¹ より高ã„ランクã®åž‹ パターンマッãƒãƒ³ã‚° リストã®åŒ…å« do表記 ãƒã‚¤ãƒ³ãƒˆãƒ•ãƒªãƒ¼ã‚¹ã‚¿ã‚¤ãƒ« モジュール functorã€monoi
ã™ã”ã„HaskellãŸã®ã—ãå¦ã¼ã†ï¼ by sugoihaskell
{{#tags}}- {{label}}
{{/tags}}