英文字典中文字典


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

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


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

































































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


  • Russia Map | Detailed Maps of Russian Federation
    It extends across northern Asia and Eastern Europe, bordering fourteen countries and stretching from the Baltic Sea in the west to the Pacific Ocean in the east The country has a population of approximately 146 million people (2024), making it the ninth most populous nation globally
  • Russia Maps Facts - World Atlas
    Physical map of Russia showing major cities, terrain, national parks, rivers, and surrounding countries with international borders and outline maps Key facts about Russia
  • Political Map of Russia - Nations Online Project
    The map shows Russia and surrounding countries with international borders, the national capital Moscow, major cities, main roads, railroads, and major airports
  • Geopolitical map of Russia, Russia maps | Worldmaps. info
    This 4K map of Russia provides a detailed view of the country’s administrative structure Each district and prefecture is color-coded for better readability and understanding
  • Map of the Russian Federation with Major Cities, Roads, and Physical . . .
    Map of the Russian Federation showcasing country boundaries, major cities, roads, rivers, airports, national parks, and key geographical features
  • Russia Map | Map of Russia | Collection of Russia Maps
    Explore this Russia map to learn everything you want to know about this country
  • Russia Map - GIS Geography
    This map of Russia displays cities, towns, highways, roads, lakes, and rivers Satellite imagery and an elevation map of Russia highlight its topography and Siberia
  • Map of Russia - Guide of the World
    Where is Russia on the World and Asia Map? Show Google map, satellite map, where is the country located Get directions by driving, walking, bicycling, public transportation and travel with street view A collection maps of Russia; View a variety maps of Russia physical, political, relief map
  • Russia Map and Satellite Image - Geology. com
    This map shows a combination of political and physical features It includes country boundaries, major cities, major mountains in shaded relief, ocean depth in blue color gradient, along with many other features
  • Maps of Russia - Worldometer
    Physical, Political, Road, Locator Maps of Russia Map location, cities, zoomable maps and full size large maps





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