descriptionPublicationkeyboard_double_arrow_right Article , Preprint , Other literature type 26 Nov 2016Embargo end date: 01 Jan 2016 English Publisher:Open Publishing AssociationJournal:Electronic Proceedings in Theoretical Computer Science, volume 230, pages 1-15 (eissn: 2075-2180,

Authors: Patrik Jansson; Cezar Ionescu;

doi: 10.4204/eptcs.230.1 , 10.48550/arxiv.1611.09475

arXiv: http://arxiv.org/abs/1611.09475

Domain-Specific Languages of Mathematics: Presenting Mathematical Analysis Using Functional Programming

- Summary
- Subjects
- Metrics

Abstract

We present the approach underlying a course on "Domain-Specific Languages of Mathematics", currently being developed at Chalmers in response to difficulties faced by third-year students in learning and applying classical mathematics (mainly real and complex analysis). The main idea is to encourage the students to approach mathematical domains from a functional programming perspective: to identify the main functions and types involved and, when necessary, to introduce new abstractions; to give calculational proofs; to pay attention to the syntax of the mathematical expressions; and, finally, to organise the resulting functions and types in domain-specific languages.

In Proceedings TFPIE 2015/6, arXiv:1611.08651

Related Organizations

Chalmers University of Technology
Sweden

Keywords

FOS: Computer and information sciences, Computer Science - Programming Languages, QA75.5-76.95, Computer Science - Computers and Society, Electronic computers. Computer science, Computers and Society (cs.CY), QA1-939, Mathematics, Programming Languages (cs.PL)

Impact byBIP!

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	2
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average