英文字典中文字典


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

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


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

































































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


  • Evisions Argos - Execute a procedure before the report
    We are migrating some reports from Oracle Reports to Evisions Argos And in Oracle reports, there was a "Before Report" trigger, that would get fired before the actual running of the report query
  • 百度官方网址 - 百度知道
    百度官方网址百度官方网站的网址是：https: www baidu com 。百度是中国最大的搜索引擎公司，提供搜索引擎、在线广告、云计算
  • error when pip install argostranslate build wheel error
    Please provide enough code so others can better understand or reproduce the problem
  • 和存在感薄弱的妹简单生活攻略_百度知道
    《和存在感薄弱的妹妹一起的简单生活》攻略分为游戏内操作与现实相处两部分，具体如下： 一、游戏内核心玩法 资源管理与限时任务 主线任务需在限定时间内制作红髓液，材料需通过反复刷地下城获取。每日任务刷新后优先收集深渊结晶、稀有矿石等材料，避免因资源不足导致进度停滞。建议
  • playwright - How to normalize screenshot paths for test retries to . . .
    I'm using Playwright for end-to-end testing with Argos CI for visual regression testing My tests have retries enabled (retries: 2), but when a test fails and retries, the screenshot paths change, causing Argos to treat them as separate screenshots
  • yandex俄罗斯搜索引擎网页版免登陆入口 - 百度知道
    yandex俄罗斯搜索引擎网页版免登陆入口Yandex俄罗斯搜索引擎网页版免登陆入口为https: yandex ru ，无需登录即可使用其核心功能
  • 为什么老是有400电话打过来 (400开头的电话都是些什么电话)
    为什么老是有400电话打过来 (400开头的电话都是些什么电话)生活中，400开头的电话频繁出现，许多人误以为都是诈骗或营销电话，实际上，400电话主要是企业用于售前售后咨询的转接服务，本身不具备主动拨打电话的能力。
  • 查看电脑最近下载的文件怎么找电脑上刚刚下载的东西在哪里
    ⑴ 电脑怎么查看最近下载的东西 如果是自动下载的`就是说你没有选择下载存放的地址`你可以用IE`工具-->internet选项-->临时文件`设置`-->查看临时文件`` 这里说不定有```要仔细找找`因为挺乱所有的临时文件都在里面`` ⑵ 怎么在电脑中找到下载的文件 你直接打开“我的电脑”，点搜索，在第一个框框
  • argostranslate translate in while loop crash the code in Python
    User define Library # filename: my_tr_lib py import argostranslate package import argostranslate translate from_code = "en" to_code = "ja" # Download and install Argos Transl
  • 最新百度网盘订阅在哪里查看？_百度知道
    最新百度网盘订阅可以在百度网盘APP或电脑网页端进行查看。以下是具体的查看方法： 在手机上查看订阅： 下载并安装百度网盘APP：首先，你需要在手机上下载并安装百度网盘APP。安装完成后，打开APP并登录你的账号。 进入“分享动态”页面：登录后，点击手机屏幕右下角的“更多”按钮，然后在





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