{"title":"数学的对象","authors":"T. Hardin, R. Rioboo","doi":"10.3166/objet.10.4.83-118","DOIUrl":null,"url":null,"abstract":"This article presents the first developments of the FoCal language which took place between 1998 and 2001 in order to design a programming language adapted for designing and developing mathematics on computers. Based on different features of the OCaml programming lamguage we developed an original programming model enabling both to describe and implement mathematics inside a programming language. We describe three progamming paradigms based respectively on OCaml's modules. classes and objects in order to extract the FoCal odel. These concepts are the base of the FoCal programming language that we briefly present. The Focalpmgramming language offers a framework enabling both concrete and absract programming.","PeriodicalId":201701,"journal":{"name":"Obj. Logiciel Base données Réseaux","volume":"40 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2004-12-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"9","resultStr":"{\"title\":\"Les objets des mathématiques\",\"authors\":\"T. Hardin, R. Rioboo\",\"doi\":\"10.3166/objet.10.4.83-118\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This article presents the first developments of the FoCal language which took place between 1998 and 2001 in order to design a programming language adapted for designing and developing mathematics on computers. Based on different features of the OCaml programming lamguage we developed an original programming model enabling both to describe and implement mathematics inside a programming language. We describe three progamming paradigms based respectively on OCaml's modules. classes and objects in order to extract the FoCal odel. These concepts are the base of the FoCal programming language that we briefly present. The Focalpmgramming language offers a framework enabling both concrete and absract programming.\",\"PeriodicalId\":201701,\"journal\":{\"name\":\"Obj. Logiciel Base données Réseaux\",\"volume\":\"40 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2004-12-30\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"9\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Obj. Logiciel Base données Réseaux\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.3166/objet.10.4.83-118\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Obj. Logiciel Base données Réseaux","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.3166/objet.10.4.83-118","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
This article presents the first developments of the FoCal language which took place between 1998 and 2001 in order to design a programming language adapted for designing and developing mathematics on computers. Based on different features of the OCaml programming lamguage we developed an original programming model enabling both to describe and implement mathematics inside a programming language. We describe three progamming paradigms based respectively on OCaml's modules. classes and objects in order to extract the FoCal odel. These concepts are the base of the FoCal programming language that we briefly present. The Focalpmgramming language offers a framework enabling both concrete and absract programming.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
