Disco: A Functional Programming Language for Discrete Mathematics

Brent A. Yorgey

doi:10.4204/eptcs.382.4

Read further

Comprehensive Summary
Layman's Summary
Blog article
Original abstract

Disco is a pure, strict, statically typed functional programming language that aims to introduce students to fundamental concepts of functional programming and enhance their understanding and application of mathematical principles through computational exploration. Developed by Brent A. Yorgey from Hendrix College, Disco offers mathematically-inspired notation, property-based testing, equirecursive algebraic types, subtyping, built-in list, bag, and finite set types, as well as a REPL (Read-Eval-Print Loop) for interactive code execution. The language is implemented in Haskell and its source code is openly available on GitHub for further exploration and development. A Pure Functional Programming Language for Discrete Mathematics Courses Key features of Disco include mathematically-inspired notation, property-based testing, equirecursive algebraic types, subtyping, built-in list, bag, and finite set types. Disco's Approach to Teaching Fundamental Concepts In addition to its technical aspects,<Organization>, Disco also offers student-focused documentation to support learners in grasping the intricacies of both functional programming and discrete mathematics. <Organization>'s <Organization>: Enhancing Understanding Through Practical Coding Exercises Research presented at the International Workshop on Trends in Functional Programming in Education 2023 (TFPIE 2023) highlights the synergy between discrete math topics and functional programming exercises. <Organization>: Bridging the Gap Between Theory and Practice By incorporating functional programming into the curriculum,<Organization>'s can benefit from a more balanced learning experience that leverages their respective strengths while providing new perspectives on familiar subjects. <Organization>: Promoting Interdisciplinary Connections Between Mathematics and Computer Science Overall, Disco serves as a valuable tool for educators looking to enrich their discrete mathematics courses with practical coding exercises and computational tools. Its integration of functional programming concepts not only enhances students' problem-solving skills but also promotes interdisciplinary connections between mathematics and computer science disciplines.

Introduction

Discrete mathematics is a fundamental subject in computer science and plays a crucial role in developing problem-solving skills. However, teaching this subject can be challenging due to its abstract nature. To address this issue, Brent A. Yorgey from Hendrix College developed Disco - a pure, strict, statically typed functional programming language that aims to introduce students to the fundamental concepts of functional programming and enhance their understanding and application of mathematical principles through computational exploration.

In this blog article, we will explore the key features of Disco and how it can benefit students in learning discrete mathematics. We will also discuss the research presented at the International Workshop on Trends in Functional Programming in Education 2023 (TFPIE 2023) that highlights the synergy between discrete math topics and functional programming exercises.

The Features of Disco

Disco offers several unique features that make it an ideal tool for teaching discrete mathematics courses.

Mathematically-Inspired Notation

One of Disco's key features is its mathematically-inspired notation. This notation makes it easier for students to understand complex mathematical concepts by representing them in a more familiar form. For example, instead of using traditional function notation like f(x), Disco uses mathematical notation such as sin x or cos x.

Property-Based Testing

Another notable feature of Disco is property-based testing. This approach allows users to specify properties that their code should satisfy rather than writing specific test cases. This not only saves time but also encourages students to think critically about their code and consider all possible scenarios.

Equirecursive Algebraic Types

Disco also supports equirecursive algebraic types which allow for recursive data structures without explicitly defining them as such. This feature simplifies code writing and makes it easier for students to work with complex data structures.

Subtyping

With Disco, students can also explore subtyping - a concept that allows for more flexible type hierarchies. This feature enables students to create more general and reusable code, promoting good coding practices.

Built-in List, Bag, and Finite Set Types

Disco offers built-in list, bag, and finite set types that are commonly used in discrete mathematics. These data structures are essential for solving problems in this field and having them readily available in the language makes it easier for students to apply their knowledge.

REPL (Read-Eval-Print Loop)

To facilitate interactive learning,, Disco also provides a REPL (Read-Eval-Print Loop) where users can write code and see the results immediately. This feature encourages experimentation and helps students understand the effects of their code better.

The Approach of Disco to Teaching Fundamental Concepts

Disco's features are not only designed to make learning discrete mathematics more accessible but also to enhance students' understanding of fundamental concepts. By using mathematically-inspired notation and property-based testing, Disco promotes critical thinking and problem-solving skills among learners.

Moreover,, Disco's equirecursive algebraic types allow for a deeper understanding of recursive data structures while its support for subtyping encourages abstraction and modularity in code writing. The built-in list, bag, and finite set types further reinforce these concepts by providing practical examples for students to work with.

: Enhancing Understanding Through Practical Coding Exercises

Research presented at TFPIE 2023 highlights the synergy between discrete math topics and functional programming exercises. The study showed that incorporating functional programming into the curriculum can significantly improve students' understanding of both subjects.

By using , educators can provide their students with practical coding exercises that bridge the gap between theory and practice. These exercises not only reinforce the concepts taught in class but also promote a deeper understanding of them through hands-on experience.

: Promoting Interdisciplinary Connections Between Mathematics and Computer Science

Another significant benefit of Disco is its ability to promote interdisciplinary connections between mathematics and computer science. By incorporating functional programming into the curriculum, students can gain a better understanding of how these two disciplines intersect and complement each other.

Moreover,, Disco's features make it an ideal tool for exploring mathematical concepts through computational exploration. This approach not only enhances students' problem-solving skills but also provides new perspectives on familiar subjects.

Conclusion

In conclusion, Disco is a valuable tool for educators looking to enrich their discrete mathematics courses with practical coding exercises and computational tools. Its unique features, such as mathematically-inspired notation, property-based testing, equirecursive algebraic types, subtyping, built-in list, bag, and finite set types make it an ideal language for teaching fundamental concepts of functional programming while enhancing students' understanding of discrete mathematics principles.

Through its integration of functional programming concepts,, Disco offers a more balanced learning experience that leverages the strengths of both disciplines while promoting interdisciplinary connections between mathematics and computer science. With its open-source code available on GitHub for further exploration and development,, Disco has the potential to revolutionize the way we teach discrete mathematics courses.

Created on 09 Dec. 2024

Disco: A Functional Programming Language for Discrete Mathematics

The essentials

Read further

Definitions

Introduction

The Features of Disco

Mathematically-Inspired Notation

Property-Based Testing

Equirecursive Algebraic Types

Subtyping

Built-in List, Bag, and Finite Set Types

REPL (Read-Eval-Print Loop)

The Approach of Disco to Teaching Fundamental Concepts

: Enhancing Understanding Through Practical Coding Exercises

: Promoting Interdisciplinary Connections Between Mathematics and Computer Science

Conclusion

Ask questions about this paper to our AI assistant

Tools for this paper

Advanced tools Premium

Papers around this one

Closest papers

Prior work it builds on

Papers that cite it

Go further

Cite this paper (BibTeX)