英文字典中文字典


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

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


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

































































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


  • Sparx Maths - Home
    Sparx Maths creates an hour's worth of perfectly tailored practice homework for each student each week driven by your school’s scheme of learning The practice is challenging, to ensure students need to think and, crucially, achievable so that students can be successful We also ensure the practice uses spaced repetition and interleaving to support a change in students' long-term memories
  • Sparx Maths - Sparx Schools
    Sparx Maths builds maths confidence through personalised homework for students aged 11-16 and is proven to significantly boost grades by the University of Cambridge
  • Sparx Maths topic codes | Sparx Maths Help Centre
    You'll find a complete list of topic codes for every curriculum that Sparx Maths supports, in this spreadsheet
  • Key concepts of a Sparx Maths homework
    Sparx Maths homework is designed to be personalised, adaptive, and effective for each student's learning journey This article explains the core concepts that make up a Sparx Maths homework
  • Sparx Maths - Sparx Maths Content
    Over the last 10 years, the Sparx Maths (Sparx) content design team have been creating and refining a quality bank of nearly 50,000 questions Contributions from a team of teachers, mathematicians, content designers, data analysts and linguists have led to a comprehensive and sophisticated content library for secondary maths The data we have collected from over 650 million question attempts
  • Introducing Sparx Maths | Sparx Maths Help Centre
    Sparx Maths facilitates the setting of high expectations to maximise impact, leading to significantly improved outcomes for students, and enables teachers to spend their time and expertise on engaging students rather than on administrative tasks
  • Home | Sparx Maths Homework Help Centre
    Sparx Maths Homework Help Centre Guidance to help you set up your Sparx Maths site, get your students started with Sparx Maths and set your first homeworks
  • Sparx Maths - Baseline Assessment - Part One
    Sparx Maths builds maths confidence through personalised homework for students aged 11-16 and is proven to significantly boost grades by the University of Cambridge
  • Logging in with a Google Microsoft account
    This article explains how to log in to Sparx Maths using Single Sign-On (SSO) with Google or Microsoft accounts, and how to troubleshoot common SSO login issues
  • Steps to setting your first homework | Sparx Maths Homework Help Centre
    To set homework with Sparx Maths, several setup steps are required, these are detailed on the Getting Started Steps page in your Sparx Maths site Alternatively, you can follow the steps outlined in the second half of this page





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