| dbo:abstract |
FL (short for "Function Level") is a programming language created at the IBM Almaden Research Center by John Backus, John Williams, and Edward Wimmers in the 1980s and documented in a report from 1989. FL was designed as a successor of Backus' earlier FP language, providing specific support for what Backus termed function-level programming. FL is a dynamically typed strict functional programming language with throw and catch exception semantics much like in ML. Each function has an implicit history argument which is used for doing things like strictly functional input/output (I/O), but is also used for linking to C code. For doing optimization, there exists a type-system which is an extension of Hindley–Milner type inference. (en) FL (de Function Level) é uma linguagem de programação criada no Almaden IBM Research Center por John Backus, John Williams, e em 1989. FL foi concebido como um sucessor da linguagem de programação anterior FP de Backus, proporcionando um apoio específico para o que denominou Backus função da programação de nível. FL é uma linguagem de tipagem dinâmica, rigorosamente funcional, com uma semântica de lançar e capturar exceções bem parecida com a linguagem ML. Cada função tem um argumento histórico implícito que é usado para fazer coisas como entradas/saídas estritamente funcionais, mas também é utilizado para efetuar ligações com códigos em linguagem C. Para fazer otimizações, existe um sistema de tipagem que é uma extensão do mecanismo de inferência de tipos de Hindley-Milner. Muitas das idéias da linguagem, já foram implementadas na linguagem J de Kenneth E. Iverson. (pt) FL（缩写的Function Level，函数级别），是John Backus、John Williams和Edward Wimmers在1980年代于IBM研究院创立的函数式编程语言，并于1989年形成报告文档。FL被设计为Backus更早的FP语言的后继者，提供了对Backus所称的函数级编程的专门支持。 FL是动态类型的严格函数式编程语言，带有很类似ML中的throw和catch的异常语义。每个函数都有一个隐含的历史实际参数，它被用来做像严格的函数式I/O（输入/输出）这样的事情，但也用来链接于C代码。为了进行优化，这里存在一个类型系统，它是Hindley–Milner类型推论的扩展。 (zh) |
| dbo:designer |
dbr:John_Backus |
| dbo:influencedBy |
dbr:FP_(programming_language) |
| dbo:wikiPageExternalLink |
http://www.plasm.net/docs/papers/fl_papers/ http://theory.stanford.edu/~aiken/publications/trs/RJ7100.pdf http://media.johnwiley.com.au/product_data/excerpt/29/04718994/0471899429.pdf |
| dbo:wikiPageID |
2857297 (xsd:integer) |
| dbo:wikiPageLength |
2427 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
1005327261 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbr:Input/output dbr:IBM_Almaden_Research_Center dbc:Dynamically_typed_programming_languages dbr:ML_(programming_language) dbc:Programming_languages_created_in_1989 dbr:Function-level_programming dbr:Functional_programming dbr:C_(programming_language) dbr:Dynamic_typing dbc:Academic_programming_languages dbr:John_Backus dbc:Function-level_languages dbr:FP_(programming_language) dbr:Programming_language dbr:PLaSM dbr:Hindley–Milner_type_inference |
| dbp:designer |
dbr:John_Backus John Williams (en) Edward Wimmers (en) |
| dbp:influencedBy |
dbr:FP_(programming_language) |
| dbp:name |
FL (en) |
| dbp:paradigm |
dbr:Function-level_programming dbr:Functional_programming |
| dbp:typing |
dbr:Dynamic_typing |
| dbp:wikiPageUsesTemplate |
dbt:Infobox_programming_language dbt:More_footnotes dbt:Reflist dbt:Prog-lang-stub |
| dbp:wordnet_type |
http://www.w3.org/2006/03/wn/wn20/instances/synset-programming_language-noun-1 |
| dbp:year |
1989 (xsd:integer) |
| dct:subject |
dbc:Dynamically_typed_programming_languages dbc:Programming_languages_created_in_1989 dbc:Academic_programming_languages dbc:Function-level_languages |
| gold:hypernym |
dbr:Language |
| rdf:type |
owl:Thing dbo:Language schema:Language wikidata:Q315 wikidata:Q9143 yago:Abstraction100002137 yago:ArtificialLanguage106894544 yago:Communication100033020 yago:Language106282651 yago:ProgrammingLanguage106898352 yago:WikicatFunction-levelLanguages dbo:ProgrammingLanguage |
| rdfs:comment |
FL（缩写的Function Level，函数级别），是John Backus、John Williams和Edward Wimmers在1980年代于IBM研究院创立的函数式编程语言，并于1989年形成报告文档。FL被设计为Backus更早的FP语言的后继者，提供了对Backus所称的函数级编程的专门支持。 FL是动态类型的严格函数式编程语言，带有很类似ML中的throw和catch的异常语义。每个函数都有一个隐含的历史实际参数，它被用来做像严格的函数式I/O（输入/输出）这样的事情，但也用来链接于C代码。为了进行优化，这里存在一个类型系统，它是Hindley–Milner类型推论的扩展。 (zh) FL (short for "Function Level") is a programming language created at the IBM Almaden Research Center by John Backus, John Williams, and Edward Wimmers in the 1980s and documented in a report from 1989. FL was designed as a successor of Backus' earlier FP language, providing specific support for what Backus termed function-level programming. (en) FL (de Function Level) é uma linguagem de programação criada no Almaden IBM Research Center por John Backus, John Williams, e em 1989. FL foi concebido como um sucessor da linguagem de programação anterior FP de Backus, proporcionando um apoio específico para o que denominou Backus função da programação de nível. Muitas das idéias da linguagem, já foram implementadas na linguagem J de Kenneth E. Iverson. (pt) |
| rdfs:label |
FL (programming language) (en) FL (linguagem de programação) (pt) FL (编程语言) (zh) |
| owl:sameAs |
freebase:FL (programming language) yago-res:FL (programming language) wikidata:FL (programming language) dbpedia-fa:FL (programming language) dbpedia-pt:FL (programming language) dbpedia-zh:FL (programming language) https://global.dbpedia.org/id/4jj7b |
| prov:wasDerivedFrom |
wikipedia-en:FL_(programming_language)?oldid=1005327261&ns=0 |
| foaf:isPrimaryTopicOf |
wikipedia-en:FL_(programming_language) |
| foaf:name |
FL (en) |
| is dbo:influenced of |
dbr:FP_(programming_language) |
| is dbo:wikiPageDisambiguates of |
dbr:FL |
| is dbo:wikiPageRedirects of |
dbr:FL_programming_language |
| is dbo:wikiPageWikiLink of |
dbr:FL dbr:FL_programming_language dbr:List_of_computing_and_IT_abbreviations dbr:Peter_Lucas_(computer_scientist) dbr:List_of_programming_language_researchers dbr:List_of_programming_languages dbr:Generational_list_of_programming_languages dbr:Function-level_programming dbr:History_of_programming_languages dbr:History_of_software dbr:J_(programming_language) dbr:John_Backus dbr:FP_(programming_language) |
| is dbp:influenced of |
dbr:FP_(programming_language) |
| is foaf:primaryTopic of |
wikipedia-en:FL_(programming_language) |