{"title":"米兰达概述","authors":"David Turner","doi":"10.1145/15042.15053","DOIUrl":null,"url":null,"abstract":"Miranda is an advanced functional programming system which runs under the UNIX operating system 1 . The aim of the Miranda system is to provide a modern functional language, embedded in a convenient programming environment, suitable both for teaching and as a general purpose programming tool. The purpose of this short article is to give a brief overview of the main features of Miranda. The topics we shall discuss, in order, are: Basic ideas The Miranda programming environment Guarded equations and block structure Pattern matching Currying and higher order functions List comprehensions Lazy evaluation and infinite lists Polymorphic strong typing User defined types Type synonyms","PeriodicalId":388781,"journal":{"name":"Bull. EATCS","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1986-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"70","resultStr":"{\"title\":\"An overview of Miranda\",\"authors\":\"David Turner\",\"doi\":\"10.1145/15042.15053\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Miranda is an advanced functional programming system which runs under the UNIX operating system 1 . The aim of the Miranda system is to provide a modern functional language, embedded in a convenient programming environment, suitable both for teaching and as a general purpose programming tool. The purpose of this short article is to give a brief overview of the main features of Miranda. The topics we shall discuss, in order, are: Basic ideas The Miranda programming environment Guarded equations and block structure Pattern matching Currying and higher order functions List comprehensions Lazy evaluation and infinite lists Polymorphic strong typing User defined types Type synonyms\",\"PeriodicalId\":388781,\"journal\":{\"name\":\"Bull. EATCS\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1986-12-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"70\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Bull. EATCS\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/15042.15053\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Bull. EATCS","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/15042.15053","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Miranda is an advanced functional programming system which runs under the UNIX operating system 1 . The aim of the Miranda system is to provide a modern functional language, embedded in a convenient programming environment, suitable both for teaching and as a general purpose programming tool. The purpose of this short article is to give a brief overview of the main features of Miranda. The topics we shall discuss, in order, are: Basic ideas The Miranda programming environment Guarded equations and block structure Pattern matching Currying and higher order functions List comprehensions Lazy evaluation and infinite lists Polymorphic strong typing User defined types Type synonyms
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
