Conceptual Mathematics via Literate Programming

02/22/2022

∙

by   Ian Benson, et al.

∙

0

∙

share

Recent developments in computer programming and in mathematics suggest that there is a strong case for a new way of introducing programming to enhance the learning of school mathematics. The article describes a collaboration of mathematics and computer science teachers to solve the Josephus problem. We demonstrate how a programming approach based on both types and functions can make a vastly improved contribution to learning mathematics than the less successful use of conventional computer programming in Scratch.