翻訳と辞書 Words near each other ・ minus ・ minus infinity ・ mips ・ mips project ・ mips r2000 ・ mips r2010 ・ mips r3000 ・ mips r4000 ・ mips technologies, inc. ・ miracula ・ miranda ・ mirfac ・ mirror ・ mirror site ・ mirroring ・ mis ・ mis director ・ misbug ・ misfeature ・ mishap Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Miranda ： FOLDOC Miranda (From the Latin for "admirable", also the heroine of Shakespeare's "Tempest") A lazy purely functional programming language and interpreter designed by David Turner of the University of Kent in the early 1980s and implemented as a product of his company, {Research Software Limited}. Miranda combines the main features of KRC and SASL with strong typing similar to that of ML. It features terse syntax using the off-side rule for indentation. The type of an expression is inferred from the source by the compiler but explicit type declarations are also allowed. It has nested pattern matching, {list comprehensions} and modules. It uses {operator sections} rather than lambda abstractions. User types are algebraic, and in early versions could be constrained by {laws}. It is implemented using {SKI combinator} reduction. Originally implemented for Unix, there are versions for most UNIX-li スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.