英文字典中文字典


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

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


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

































































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


  • Aziz Akhannouch - Wikipedia
    Aziz Akhannouch (Arabic: عزيز أخنوش, romanized: ʻAzīz Akhanūsh, Berber: ⵄⴰⵣⵉⵣ ⴰⵅⵏⵏⵓⵛ; born 16 August 1961) [1][2] is a Moroccan politician, businessman, and billionaire who has served as the Prime Minister of Morocco since 2021 [3]
  • Government - Maroc. ma
    Mr Nasser BOURITA Minister of Foreign Affairs, African Cooperation, and Moroccan Expatriates
  • Morocco PM Akhannouch announces end of term - newarab. com
    Moroccan Prime Minister Aziz Akhannouch said Saturday he will not seek re-election as head of his party, which precludes his return as government chief were it to win this year's parliamentary elections
  • Akhannouch Out as Morocco PM: Market Reads Near-Certain
    The contract — Aziz Akhannouch out as Morocco Prime Minister by December 31, 2026? — sits at 85 4% YES and 14 6% NO, with $121,528 in total volume and a December 31, 2026 resolution date
  • Aziz Akhannouch family - Forbes
    It has interests in petroleum, gas and chemicals through publicly-traded Afriquia Gaz and Maghreb Oxygene Akhannouch was appointed prime minister of Morocco in Sept 2021
  • Moroccans’ Loss of Trust in Akhannouch’s Government: What It Could Mean . . .
    A steady stream of public opinion polls continues to paint a bleak picture for Moroccan Prime Minister Aziz Akhannouch, as confidence in his leadership erodes at an alarming rate
  • Prime Minister of Morocco - Wikipedia
    The Prime Minister of Morocco, officially Head of Government (Arabic: رئيس حكومة), is the head of government of the Kingdom of Morocco [2] The prime minister is chosen by the king of Morocco from the largest party elected to parliament, usually the general secretary of that party
  • Moroccos prime minister faces challenge from the streets
    Four years after taking the helm of Morocco's government in October 2021 and with less than a year to go before the legislative elections, Prime Minister Aziz Akhannouch has become the target
  • Aziz Akhannouch: Biography, Age, Family, and Career Journey
    Aziz Akhannouch is a prominent Moroccan businessman and politician, currently serving as the 17th Prime Minister of Morocco since October 7, 2021 He is also the CEO of Akwa Group, a leading Moroccan conglomerate with interests in petroleum, gas, and chemicals
  • The Man Called Aziz Akhannouch - Today Africa
    Akhannouch announced the formation of an official coalition government alongside the PAM and Istiqlal parties on 22 September 2021, thus officiating his status as Prime Minister-designate of Morocco





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