Code and materials for book "Functional Design and Architecture"
Book page: link
The book is focusing on these topics:
- Architecture modelling, requirements analysis, subsystems design from FP point of view;
- Embedded and external DSLs in domain modelling;
- Monads as subsystems with effects;
- Free monads as functional interfaces;
- Other types of functional interfaces;
- Inversion of Control in FP (using Free monadic eDSLs);
- Applicability of mainstream techniques and approaches such as UML, SOLID, GRASP;
- Interaction with impure subsystems.
The book is 50% done. 5 chapters are published online:
- Book folder (Google Drive)
- Table of Contents
- Chapter 1: What is software design?
- Chapter 2: Architecture of the application
- Chapter 3: Subsystems and services
- Chapter 4: Domain model design
- Chapter 5: Application state
You might also want to check the Andromeda project that is a showcase project for this book:
The Node project created by me and my team for Enecuum blockchain (Enecuum HK Limited, Hong Kong) is the most advanced production code in Haskell based the ideas of this book.
The Enecuum Node Framework makes building of network acting nodes simple. It allows to handle concurrent state (with STM), work with KV database, host TCP, UDP and JSON-RPC servers, write network clients, interactible CLIs and more. The code of the nodes will be testable, safe and well-maintainable.
This framework can be a reasonable replacement for Cloud Haskell. I've wrote a detailed post about framework usage and architecture:
Building network actors with Enecuum Node Framework
I also was working for Juspay (India, Bangalore). In there, we have created two big projects in PureScript with the same central ideas of Free monads and architecture. The Presto framework for building mobile apps was published. The most of code (including Free eDSL and runtime) is designed and written by me:
Another project I was working on with some other great India developers was about distributed persistable resumable workflows, in PureScript, Node.JS and RabbitMQ. This project is not published yet, but it also based on Free monad architecture. Moreover, persistency of workflows and ability to pause them at any time is achieved due to special interpreters utilizing a RecorderT transformer.