Monads and "do" notation in the Wolfram Language
Kacper Topolnicki
TL;DR
This paper presents a categorical interpretation of the Wolfram Language, introducing monadic types and 'do' notation to enhance code predictability and parallelization potential.
Contribution
It provides a novel categorical framework for Wolfram Language, implementing monads and 'do' notation to improve programming clarity and efficiency.
Findings
Monadic style enhances code predictability.
'do' notation facilitates parallelization.
Categorical interpretation offers new insights into Wolfram Language.
Abstract
This paper describes a categorical interpretation of the Wolfram Language and introduces a simple implementation of monadic types and the "do" notation. The monadic style of programming combined with the many built in functions of the Wolfram Language has potential to be a powerful tool in writing Wolfram Language code. Additionally, using pure functions and the "do" notation can result in programs that are very predictable and easy to parallelize.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Code & Models
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsParallel Computing and Optimization Techniques · Logic, programming, and type systems · Distributed and Parallel Computing Systems