タグ

2006年4月11日のブックマーク (4件)

  • Lispbox

    Lispbox is a version of Lisp in a Box, which was originally created by Matthew Danish and Mikel Evins, customized for use with Practical Common Lisp. The purpose of Lispbox (and Lisp in a Box) is to get you up and running in a good Lisp environment as quickly as possible. When you start Lispbox it launches the text editor Emacs with SLIME (the Superior Lisp Interaction Mode for Emacs) already inst

    hengsu
    hengsu 2006/04/11
    Practical Common Lispの自習用Lispパッケージ
  • 2004-10-27

    最近プリントアウトして読み散らかしてる(初心者向け)文書の紹介.Lisperだというのに静的型に浮気してスマソ(ぉ J. Hughes先生のリンク集がイイ! 基的にここに載ってるものから選んでいる. http://www.cs.chalmers.se/~rjmh/tutorials.html Hughes先生は なぜ関数プログラミングは重要か で有名だが,個人的には「遅延評価は譲れないね☆」にはついて行けない... あれは「操作」を捨て去って「概念」に移行することを強制するからなぁ... リンク集にL. Cardelli氏の文書がいくつか載ってるけど,他にもサイトには読み易そうな文書が置いてある(小難しそーなのが大量にあるけど). http://www.luca.demon.co.uk/ 実は2chで教えてもらってあれこれ調べるきっかけになった Basic Polymorphic Typ

    2004-10-27
    hengsu
    hengsu 2006/04/11
  • Sukuna

    SukunaはOO拡張を最初から組み込んであるForth dialectです。 Mops、Joy、Rubyなどに影響を受けて作られました。 関数定義 { square dup * } または { square | x | x x * } Bank Account class BankAccount float dollars accessor { deposit: self :dollars :+ self :setDollars } { withdraw: :negate self :dollars :+ 0 :max self :setDollars } end BankAccount :new -> MyAccount 200 MyAccount :setDollars MyAccount :dollars :p cr # 200.000000 50 MyAccount :depos

  • ホワット・ア・ワンダフル・ワールド 型についての論文あれこれいろいろ

    以前,抽象データ型とオブジェクト指向の関係 * について知るため,Object-Oriented Programming Versus Abstract Data Types (PDF 21 頁) を読んだりもしたのですが,そもそもプログラミング言語における型や多義性 (ポリモルフィズム) って何なんだろう ? という素朴な疑問がわいてきました. * What is ‘‘Object-Oriented Programming’’? (1991 revised version) (PDF 21 頁) や C++ の設計と進化 も参考になります. というわけで,ヒビルテさんのところで紹介されていた,A short article for the Encyclopedia of Artificial Intelligence: Second Edition ``Logic, Higher-ord