英文字典中文字典


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

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


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

































































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


  • Google Help
    If you're having trouble accessing a Google product, there's a chance we're currently experiencing a temporary problem You can check for outages and downtime on the Google Workspace Status Dashboard
  • QUERY function - Google Docs Editors Help
    query - The query to perform, written in the Google Visualization API Query Language The value for query must either be enclosed in quotation marks or be a reference to a cell containing the appropriate text
  • Función QUERY - Ayuda de Editores de Documentos de Google
    query: Consulta que se va a hacer, escrita en el lenguaje de consultas de la API de visualización de Google El valor de la consulta debe encerrarse entre comillas o debe referir a una celda que contenga el texto apropiado
  • Set default search engine and site search shortcuts
    Enter the web address for the search engine's results page, and use %s where the query would go To find and edit the web address of the results page: Copy and paste the web address of the search results page into the URL field The address for the search results page is different from the website address
  • Fungsi QUERY - Bantuan Editor Google Dokumen
    Menjalankan kueri Google Visualization API Query pada data Contoh Penggunaan QUERY(A2:E6;"select avg(A) pivot B") QUERY(A2:E6;F2;FALSE) Sintaks QUERY(data; kueri; [header]) data - Rentang sel tempat menjalankan kueri Setiap kolom data hanya dapat menampung nilai boolean, numerik (termasuk tanggal waktu) atau string Untuk jenis data campuran dalam satu kolom, jenis data mayoritas menentukan
  • QUERY - เครื่องมือแก้ไข Google . . .
    QUERY เรียกใช้การค้นหาของ Google Visualization API Query Language จากข้อมูลทั้งหมด ตัวอย่างการใช้งาน รูปแบบคำสั่ง data - ช่วงของเซลล์ที่จะดำเนินการค้นหา
  • QUERY 関数 - Google ドキュメント エディタ ヘルプ
    ヘッダー - [オプション] - データ の上部にある見出し行の番号です。 指定しない場合や -1 と指定した場合は、 データ の内容に基づいて推測されます。 例 コピーを作成 注: 例はそれぞれ独立したタブで表示されます。 サンプルデータ QUERY : Example Data
  • Hàm QUERY - Trình chỉnh sửa Google Tài liệu Trợ giúp
    Select và where Trả về các hàng khớp với điều kiện xác định bằng cách sử dụng mệnh đề Select và Where





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