Joy 代数。http://www.latrobe.edu.au/philosophy/phimvt/joy/j04alg.html ã‚’èªã‚€ã€‚ - è¨€èªžã‚²ãƒ¼ãƒ é †ç•ªãŒç„¡èŒ¶è‹¦èŒ¶ã ã‘ã©ã€å››ç•ªã®ãƒ‰ã‚ュメントをèªã¿ã¾ã™ã€‚スタック言語ã«ãŠã‘るモナドã®æ‰±ã„ã«è§¦ã‚Œã‚‹ã®ãŒç›®æ¨™ã§ã™ã€‚Joy 代数ã«ã‚ˆã£ã¦ã€é«˜éšŽé–¢æ•°ã®è‰²ã€…ãªæ€§è³ªã‚’変数無ã—ã§è¡¨ç¾ã™ã‚‹äº‹ãŒå‡ºæ¥ã‚‹ã‚‰ã—ã„ã§ã™ã€‚ 準備 ç§ã¯ http://www.latrobe.edu.au/philosophy/phimvt/joy/joy.tar.gz ã‹ã‚‰ãƒ€ã‚¦ãƒ³ãƒãƒ¼ãƒ‰ã§ãã‚‹ joy を使ã£ã¦ã„ã¾ã™ã€‚cygwin, linux, mac ç‰ã§å±•é–‹ã—㦠make ã—ã¦ã€/usr/local/bin ç‰ã«ãƒã‚¤ãƒŠãƒªã‚’コピーã™ã‚‹ã¨è‰¯ã„ã§ã™ã€‚http://d.hatena.ne.jp/shortsleeved/20070604#p1 ã‚’å‚考㫠rlwrap をインストールã™ã‚‹ã¨ä¾¿åˆ©ã•å€å¢—ã§ã™(cygwin ã®å ´åˆã¯ chmod 700 ~ ãŒå¿…è¦ã‹ã‚‚知れã¾ã›ã‚“)。joy ã¯åŸºæœ¬çš„ã«æ¨™æº–入力ã‹ã‚‰èªã‚“ã§æ¨™æº–出力ã«å‡ºã™ã¨ã„ã†å˜ç´”ãªä»•çµ„ã¿ãª
{{#tags}}- {{label}}
{{/tags}}