Typed Lisp, A Primer
Typed Lisp, A Primer ⟨ Read as PDF or See the source ; Last modified on 2019-08-21 ⟩ Abstract Let's explore Lisp's fine-grained type hierarchy! We begin with a shallow comparison to Haskell, a rapid tour of type theory, try in vain to defend dynamic approaches, give a somewhat humorous account of history, note that you've been bamboozled —type's have always been there—, then go into technical deta
Clojure vs Haskell
gist.md Haskell vs Clojure The JSON data is in the following format { "Genesis": { "1": { "1": "In the beginning..." , "2": "..." }, "2": { ... } }, "Exodus": { ... }, ... } In JSON, keys aren't ordered and must be strings. The goal is to parse the JSON file, order everything correctly (which means parsing the keys into integers), and produce an array that looks like this: [ ("Genesis", 1, 1, "In
Programming Languages - Hyperpolyglot
Hyperpolyglot Programming Languages commonly used features in a side-by-side format Scripting Languages I: Node.js, PHP, Python, Ruby Scripting Languages II: Perl, Lua, Groovy GUI Scripting: JavaScript, Smalltalk, Tcl, AutoHotkey Command Line Interpreters: POSIX Shell, Cmd.exe, PowerShell Forth and PostScript: Forth, PostScript Prolog, Erlang, Elixir: Prolog, Erlang, Elixir Lisp Dialects: Common L
ishideoã®ãƒ–ックマーク / 2009å¹´1月28æ—¥ - ã¯ã¦ãªãƒ–ックマーク
How do we make dynamic web applications? In this tutorial, we show how to use Racket to achieve this goal. We explain how to start up a web server, how to generate dynamic web content, and how to interact with the user. Our working example will be a simple web journal—a “blog.†This tutorial is intended for students who have read enough of How to Design Programs to know how to use structures, high
Pythonã§Cleanã‚„Haskellã®ãƒªã‚¹ãƒˆç›¸å½“を準備
Cleanã‚„Haskellã¨ã„ã£ãŸç´”粋関数プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã¯ç”Ÿç”£æ€§ãŒé«˜ã„ã¨ã‚ã¡ã“ã¡ã«æ›¸ã„ã¦ã‚ã£ãŸã®ã§ã€ã„ã‚ã„ã‚ã¨å‹‰å¼·ã—ã¦ã„ã‚‹ã¨ã“ã‚ã 。 勉強ã—ã¦ã„ã‚‹ã¨ã€Pythonãªã©ã®æœ€è¿‘ã®å‘½ä»¤åž‹(imperative)ã‚ã‚‹ã„ã¯æ‰‹ç¶šãåž‹(procedural)ã¨ã„ã‚れる言語ã§ã‚‚ã‹ãªã‚Šä¼¼ãŸã‚ˆã†ãªè¨˜è¿°ãŒã§ããã†ãªæ°—ãŒã—ãŸ(ã•ã™ãŒã«Javaã‚„Cã¨ã‹ã ã¨ç„¡ç†ãã†ã ãŒ)。ãã“ã§ã€Pythonを使ã£ã¦é–¢æ•°ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®é†é†å‘³ã‚’ã©ã“ã¾ã§å‘³ã‚ãˆã‚‹ã‹ãƒãƒ£ãƒ¬ãƒ³ã‚¸ã—ã¦ã¿ã‚‹ã“ã¨ã«ã—ãŸã€‚ã‚ã¾ã‚Šé–¢æ•°ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã«é¦´æŸ“ã¿ã®ãªã„人ã«ã‚‚ç†è§£ã—ã‚„ã™ã説明ã§ãるよã†ã«å¿ƒãŒã‘ã‚‹ã¤ã‚‚ã‚Šã (ã¨ã„ã†ã‹ç§ã‚‚ã‚ã¾ã‚Šé¦´æŸ“ã¿ãŒãªã„)。 純粋関数プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã§ã¯ã€é…延評価を行ãˆã‚‹ã“ã¨ãŒç‰¹å¾´ã¨ãªã£ã¦ã„る。é…延評価ã¨ã¯ã€ã™ã”ãç°¡å˜ã«è¨€ã£ã¦ã—ã¾ã†ã¨ã€å¿…è¦ã«ãªã‚‹ã¾ã§å¼ã®è©•ä¾¡ã‚„æ–‡ã®å®Ÿè¡Œã‚’ã—ãªã„ã“ã¨ã 。ãŸã¨ãˆã°ã€ç„¡é™ã«ç¶šã数列(数値ã®ãƒªã‚¹ãƒˆ)を生æˆã™ã‚‹é–¢æ•°ã‚’
ç„¡é™ãƒªã‚¹ãƒˆã¨é…延評価: Days on the Moon
IT 戦記㧠Haskell ã®ãƒªã‚¹ãƒˆã‚’ JavaScript ã§æ›¸ãã¨ã„ã†ã®ã‚’ã‚„ã£ã¦ã„る。ã“ã‚Œã¯é¢ç™½ã„。ãŸã ã€ãã®ã¾ã¾æ›¸ãã¨ç„¡é™ãƒªã‚¹ãƒˆãŒç„¡é™å†èµ·ã«é™¥ã£ã¦ã—ã¾ã†ã®ã§ã€é…延評価を行ã‚ãªãã¦ã¯ã„ã‘ãªã„。 関数å¼ã‚’使ã£ãŸé…延評価 JavaScript ã§é…延評価を行ã†ã«ã¯ã©ã†ã™ã‚Œã°ã„ã„ã‹ã€‚ãã®ç”ãˆã®ã²ã¨ã¤ãŒé–¢æ•°å¼ã 。リストã®å„セルをã€å…ˆé ã®å€¤ã¨å¾Œç¶šã®ãƒªã‚¹ãƒˆã¨ã„ã†æ§‹é€ ã§ã¯ãªãã€å…ˆé ã®å€¤ã¨å¾Œç¶šã®ãƒªã‚¹ãƒˆã‚’è¿”ã™é–¢æ•°ã¨ã„ã†æ§‹é€ ã«ã—ã¦ã‚„ã‚Œã°ã€ãƒªã‚¹ãƒˆã®æœ€åˆã®ã‚»ãƒ«ã‚’評価ã—ãŸæ™‚点ã§æ®‹ã‚Šã®ã‚»ãƒ«ãŒã™ã¹ã¦è©•ä¾¡ã•ã‚Œã‚‹ã¨ã„ã†äº‹æ…‹ã‚’防ã’る。 具体的ã«ã¯ã€ãƒªã‚¹ãƒˆæ§‹ç¯‰ã®éš›ã€å¾Œç¶šã®ãƒªã‚¹ãƒˆãã®ã‚‚ã®ã®ä»£ã‚ã‚Šã«ãƒªã‚¹ãƒˆã‚’è¿”ã™é–¢æ•°ã‚’渡ã—ã€å¾Œç¶šã®ãƒªã‚¹ãƒˆã‚’å¾—ã‚‹ã¨ãã¯é–¢æ•°å‘¼ã³å‡ºã—ã‚’ä¼´ã†ã‚ˆã†ã«ã™ã‚Œã°ã‚ˆã„。ãªãŠã€ã“ã“ã§ã¯ç©ºãƒªã‚¹ãƒˆã‚’表ç¾ã™ã‚‹ã®ã« nil ã¨ã„ã†ç‰¹æ®Šãªå€¤ã‚’用ã„る。nil ã¯å…ˆé ã®å€¤ã‚‚後続ã®ãƒªã‚¹ãƒˆã‚‚ nil 自身ã§ã‚るリストã§ã‚る。 var
Generic Monad System in Scheme - (new Hatena).blog()
id:reinyannyan:20070714:p1 ã§è€ƒæ¡ˆã—ãŸãƒ¢ãƒŠãƒ‰å®Ÿè£…案ãŒã»ã¼å®Ÿç”¨çš„ã«ãªã£ã¦ãã¾ã—ãŸã®ã§ã€å–ã‚Šã‚ãˆãšå…¬é–‹ã—ã¾ã™ã€‚ monad.tar.gz (PLT Scheme 用) monad.ss ã¨ã„ã†ã€ã‚¤ãƒ³ã‚¿ãƒ¼ãƒ•ã‚§ãƒ¼ã‚¹ã¨ãªã‚‹ãƒ¢ã‚¸ãƒ¥ãƒ¼ãƒ«ãŒã‚ã‚Šã€ãれを maybe.ss ã‚„ list.ss ç‰ã®å…·è±¡ãƒ¢ã‚¸ãƒ¥ãƒ¼ãƒ«ãŒå®Ÿè£…ã™ã‚‹ã€ã¨ã„ã†å½¢ã«ãªã£ã¦ã„ã¾ã™ã€‚ アプリケーションå´ã§ã¯å¿…è¦ãªå…·è±¡ãƒ¢ãƒŠãƒ‰ã ã‘ã‚’ require ã™ã‚Œã° OK ã§ã™ã€‚ モナド・トランスフォーマーやã€Haskell 的㪠(データ・コンストラクタã«ã‚ˆã‚‹) パターンマッãƒæ§‹æ–‡ã‚‚利用ã§ãã¾ã™ã€‚ サンプル: 確率モナド
1
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
Ideone.com
Topics:SICP in other languages - CTMWiki
{{#tags}}- {{label}}
{{/tags}}