ML: langsmith quickml.atdot.net
新メンバー: shiro@l...

shiroと申します。
Scheme処理系を書いています。

どちらかというと、言語の構文の設計よりはセマンティクス、
コアの設計よりはライブラリの設計に興味があります。

過去ログをみると、ちょうどオブジェクトとクロージャの同形性が
話題になって、Steeleの 「Actors ≡ Closures (mod syntax)」
も話に出ていたようですね。Schemerにとっては両者は同じものを
見る二つの見方である、と考えるのは自然です。

最近調べ物をしていて、Jonathan Reesが、プログラムに関して
二つの見方の同形性について触れているのを見つけました。
「Actors ≡ Closures (mod syntax)」に通じるものがあって
面白いと思ったので紹介します。

http://www.eros-os.org/pipermail/e-lang/2001-October/005858.html

"But in the style I strive for, the ideal program is a pun,
simultaneously declarative and imperative.  When a human first reads
it, it's understood declaratively, and only then, when someone (human
or computer) cares about running it, is it understood imperatively.
The idea is to isolate the user from implementation details such as
inherent asymmetry."

理想のプログラムとは、宣言的にも命令的にも読める、掛けことば
みたいなものだと。"To write good puns as above is very difficult."
とも述べていますが。

--shiro






--
ML: langsmith quickml.atdot.net
使い方: http://www.atdot.net/~ko1/quickml

このMLを退会する方法:
- 本文が空のメールを <langsmith quickml.atdot.net> に送ってください
- 本文が空のメールを送れない場合は、
  本文に「退会」とだけ書いたメールを <langsmith quickml.atdot.net> に送ってください
  (署名やhotmailの広告などがついて空メールを送れない場合など)

<langsmith quickml.atdot.net> のメンバー:
matz@r...
ko1@a...
admin@f...
ringo@c...
supercar@k...
egap@s...
mas@p...
massan@a...
shachi@j...
ken@c...
eclipse@c...
colour_field2003@y...
maeda-langsmith@a...
namu@v...
akr@m...
zn@m...
eban@o...
shugo@r...
kawaji@h...
ncoba@p...
shyouhei@i...
nnakamur@m...
besus@d...
naruse@a...
Yoshiki.Ohshima@a...
hyuki@h...
s31552@m...
lang@m...
ma2@l...
takehiko@e...
mogami@b...
haneda@p...
nobsun@s...
coolest.@z...
nobu.nakada@n...
randy@m...
xmonita@i...
ttn3w7u2fs@m...
kmori@l...
toby@t...
dplus2@m...
e@i...
kozuka@t...
sato@d...
hau51010@t...
gimite@m...
piro@a...
ikdsk@b...
ko1@a...
y-shinohara@d...
takuo@a...
wo_atmark@s...
makoto@r...
hira@v...
shiro@l...