英文字典中文字典


英文字典中文字典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英翻中〔查看〕

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


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

































































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


  • Outlook
    Download free Microsoft Outlook email and calendar, plus Office Online apps like Word, Excel, and PowerPoint Sign in to access your Outlook email account
  • Outlook
    Manage your newsletters and subscriptions efficiently with Outlook
  • Book With Me - Outlook
    Book With Me - Outlook helps you schedule and manage appointments seamlessly with integrated email and calendar features
  • Welcome to To Do - Outlook
    Organize your tasks and stay productive with Microsoft To Do on Outlook com
  • Microsoft Places - Outlook
    Microsoft Places is a feature in Outlook designed to enhance collaboration and productivity by providing location-based services and tools for users
  • Smart Network Data Services - Outlook. com
    Outlook com Smart Network Data Services Deliverability to Outlook com is based on your reputation The Outlook com Smart Network Data Services (SNDS) gives you the data you need to understand and improve your reputation at Outlook com But just looking at the data isn't enough! Maintaining a good reputation is a lot of work You should use this data to keep your mailing lists clean and to
  • Outlook. com - Sign in to your account
    Sign-in options Usage Guidelines URL: Privacy Policy URL:
  • Prefetch - Outlook
    Prefetch - Outlook Prefetch
  • Outlook. com - Office Diagnostic Service Portal
    Access diagnostic services for Outlook com and Office accounts in one place
  • SNDS - FAQ - Outlook. com
    Outlook com, with over 350 million active user accounts world-wide, is in a unique position to collect and analyze e-mail activity data





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