英文字典中文字典


英文字典中文字典51ZiDian.com



中文字典辞典   英文字典 a   b   c   d   e   f   g   h   i   j   k   l   m   n   o   p   q   r   s   t   u   v   w   x   y   z       







请输入英文单字，中文词皆可：

ISWIM    
(If You See What I Mean) An influential but
unimplemented computer programming language described in the
article by {Peter J. Landin} cited below. Landin attempted to
capture all known programming language concepts, including
{assignment} and control operators such as {goto} and
{coroutines}, within a single {lambda calculus} based
framework.

ISWIM is an {imperative language} with a functional core,
consisting of {sugared} {lambda calculus} plus {mutable
variables} and {assignment}. A powerful control mechanism,
Landin's {J operator}, enables capture of the current
{continuation} (the {call/cc} operator of {Scheme} is a
simplified version). Being based on lambda calculus ISWIM had
{higher order functions} and {lexically scoped} variables.

The {operational semantics} of ISWIM are defined using
Landin's {SECD machine} and use {call-by-value} ({eager
evaluation}). To make ISWIM look more like mathematical
notation, Landin replaced {ALGOL}'s semicolons and begin end
blocks with the {off-side rule} and scoping based on
indentation.

An ISWIM program is a single {expression} qualified by "where"
clauses (auxiliary definitions including equations among
variables), conditional expressions and function definitions.
With {CPL}, ISWIM was one of the first programming languages
to use "where" clauses.

New {data types} could be defined as a (possibly recursive)
{sum of products} like the {algebraic data types} found in
modern functional languages. ISWIM variables were probably
{dynamically typed} but Landin may have planned some form of
{type inference}.

Concepts from ISWIM appear in Art Evan's {PAL} and John
Reynold's {Gedanken}, Milner's {ML} and purely functional
languages with lazy evaluation like {SASL}, {Miranda} and
{Haskell}.

[{"The Next 700 Programming Languages"
(http://www.cs.utah.edu/~wilson/compilers/old/papers/p157-landin.pdf)},
P.J. Landin, CACM 9(3):157-166, Mar 1966].

(2007-03-20)


请选择你想看的字典辞典：
单词字典翻译
ISWIM查看　ISWIM　在百度字典中的解释百度英翻中〔查看〕
ISWIM查看　ISWIM　在Google字典中的解释Google英翻中〔查看〕
ISWIM查看　ISWIM　在Yahoo字典中的解释Yahoo英翻中〔查看〕

安装中文字典英文字典查询工具!


中文字典英文字典工具:
选择颜色:
输入中英文单字

































































英文字典中文字典相关资料:


  • Rufus Wilmot Griswold - Wikipedia
    Rufus Wilmot Griswold (February 13, 1815 – August 27, 1857) was an American anthologist, editor, poet, and critic Born in Vermont, Griswold left home when he was 15 years old He worked as a journalist, editor, and critic in Philadelphia, New York City, and elsewhere
  • The Long-simmering Feud Between Edgar Allan Poe and Rufus Griswold
    The long-simmering tension between Edgar Allan Poe (1809-1849) and Rufus W Griswold (1815-1857) began when Griswold—literary critic, editor, and anthologist—published The Poets and Poetry of America (1842) in which three of Poe’s poems appeared
  • A Gentleman, If Not a Christian: the Life of Rufus Griswold
    In August of 2014, we covered the scandal between Poe and Rufus Griswold, Poe’s defamer We went in depth into the situation and analyzed the happenstances leading up to Griswold’s scheme
  • Rufus Wilmot Griswold | 19th-century Poet, Anthologist Critic . . .
    Rufus Wilmot Griswold (born Feb 15, 1815, Benson, Vt , U S —died Aug 27, 1857, New York, N Y ) was an American journalist, critic, anthologist, and editor who worked with Edgar Allan Poe on Graham’s Magazine and succeeded him as assistant editor (1842–43)
  • Rufus Wilmot Griswold (1815–1857) - FamilySearch. org
    When Rufus Wilmot Griswold was born on 15 February 1815, in Rutland, Vermont, United States, his father, Rufus Griswold, was 41 and his mother, Deborah Wass, was 40
  • Edgar Allan Poe and Rufus Wilmot Griswold
    The relationship between Edgar Allan Poe and Rufus Wilmot Griswold (1815-1857) is complex and enigmatic, yet it is one of the essential keys to understanding Poe and his biographers
  • Griswold, Rufus W. (Rufus Wilmot), 1815-1857 | The Online Books Page
    Rufus Wilmot Griswold (February 13, 1815 – August 27, 1857) was an American anthologist, editor, poet, and critic Born in Vermont, Griswold left home when he was 15 years old He worked as a journalist, editor, and critic in Philadelphia, New York City, and elsewhere
  • Griswold, Rufus W. (1815–1857) - Whitman Archive
    Griswold had achieved fame as a literary anthologist (beginning with his 1842 compilation, The Poets and Poetry of America) and as Edgar Allan Poe's literary executor and biographer
  • RUFUS WILMOT GRISWOLD - JSTOR
    Rufus Griswold was of the ninth generation from George Griswold Two sons of George Griswold, Ed ward and Matthew, came to America in the year 1639, and settled at Windsor, Connecticut 2
  • Rufus Wilmot Griswold - New World Encyclopedia
    Rufus Wilmot Griswold (February 13, 1812 – August 27, 1857) was an American anthologist, editor, poet, and critic Born in Vermont, Griswold left home when he was 15 He worked as a journalist, editor, and critic in Philadelphia, New York City, and elsewhere





中文字典-英文字典  2005-2009