翻訳と辞書 Words near each other ・ isomorphism class ・ isp ・ ispbx ・ ispf ・ ispl ・ isps ・ ist ・ istar ・ istm ・ isv ・ iswim ・ it ・ it's a feature ・ itar ・ iterated function system ・ iteration ・ iterative deepening ・ iterator ・ iternet ・ ithaca Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク iswim ： FOLDOC 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 ). To make ISWIM look more like mathematical notation, Landin replaced ALGOL スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.