This project introduces Bismuth: a general purpose and higher-order programming language for distributed concurrent and mobile systems. Through combining classical linear logic, asynchronous communication, and a novel approach to resource management, Bismuth enables the expression of useful concepts other theories cannot while maintaining type safety. To accomplish this while ensuring that Bismuth would be an accessible and communicative tool for a general audience of programmers, I created and used a low-cost and audience-centered framework for designing programming languages based on rhetorical principles. As such, the framework fills a gap in existing methods between being high-cost and user centered, or low-cost and designer-centered. Further information, including an extensive implementation of Bismuth can be found at the project's website:  https://bismuth-lang.org/.

• This report represents the work of one or more WPI undergraduate students submitted to the faculty as evidence of completion of a degree requirement. WPI routinely publishes these reports on its website without editorial or peer review.

Creator

• Friedman, Alex

Publisher

• Worcester Polytechnic Institute

Identifier

• E-project-042523-141310
• 104916

Keyword

• Exponential Types
• Distributed Computing
• Bismuth Programming Language
• Process Calculus
• Concurrency
• Session Types

Advisor

• Telliel, Yunus Dogan
• Bohrer, Rose

Year

• 2023

Date created

• 2023-04-25

Resource type

• Major Qualifying Project

Major

• Computer Science

Source

• E-project-042523-141310

Rights statement

• In Copyright

Last modified

• 2023-08-29