Brent A. Yorgey 2023 8 14 http://ozark.hendrix.edu/~yorgey/forest/yorgey-disco-2023/ yorgey-disco-2023 /~yorgey/forest/yorgey-disco-2023/ Disco: A Functional Programming Language for Discrete Mathematics Reference TFPIE '23: Trends in Functional Programming in Education 10.4204/EPTCS.382.4 http://ozark.hendrix.edu/~yorgey/pub/disco-tfpie23.pdf https://github.com/disco-lang/disco http://ozark.hendrix.edu/~yorgey/pub/disco-tfpie23-talk.pdf Disco is a pure, strict, statically typed functional programming language designed to be used in the setting of a discrete mathematics course. The goals of the language are to introduce students to functional programming concepts early, and to enhance their learning of mathematics by providing a computational platform for them to play with. It features mathematically-inspired notation, property-based testing, equirecursive algebraic types, subtyping, built-in list, bag, and finite set types, a REPL, and student-focused documentation. Disco is implemented in Haskell, with source code available on GitHub, and interactive web-based REPL available through replit. References Context Backlinks 2023 8 24 http://ozark.hendrix.edu/~yorgey/forest/000A/ 000A /~yorgey/forest/000A/ New Disco paper published My paper, Disco: A Functional Programming Language for Discrete Mathematics, has been published in the proceedings of TFPIE '23: Trends in Functional Programming in Education. Related http://ozark.hendrix.edu/~yorgey/forest/000N/ 000N /~yorgey/forest/000N/ Disco Disco is a functional teaching language for discrete mathematics, implemented in Haskell. Heinrich Apfelmus recently built a basic web UI for students to be able to use Disco in their browser, and I'm using it to teach MATH 240, Discrete Mathematics this semester. Related talks and papers Brent A. Yorgey 2023 8 14 http://ozark.hendrix.edu/~yorgey/forest/yorgey-disco-2023/ yorgey-disco-2023 /~yorgey/forest/yorgey-disco-2023/ Disco: A Functional Programming Language for Discrete Mathematics Reference TFPIE '23: Trends in Functional Programming in Education 10.4204/EPTCS.382.4 http://ozark.hendrix.edu/~yorgey/pub/disco-tfpie23.pdf https://github.com/disco-lang/disco http://ozark.hendrix.edu/~yorgey/pub/disco-tfpie23-talk.pdf Disco is a pure, strict, statically typed functional programming language designed to be used in the setting of a discrete mathematics course. The goals of the language are to introduce students to functional programming concepts early, and to enhance their learning of mathematics by providing a computational platform for them to play with. It features mathematically-inspired notation, property-based testing, equirecursive algebraic types, subtyping, built-in list, bag, and finite set types, a REPL, and student-focused documentation. Disco is implemented in Haskell, with source code available on GitHub, and interactive web-based REPL available through replit. http://ozark.hendrix.edu/~yorgey/forest/tfpie-2023/ tfpie-2023 /~yorgey/forest/tfpie-2023/ TFPIE '23: Trends in Functional Programming in Education Workshop https://wiki.tfpie.science.ru.nl/TFPIE2023 Contributions