Learning to Program with F# (Vol.2)
Here's the main driver of the program: Here's the implementation details:
Learning to Program with F# (Vol.1)
Specification as a Library (Vol.5)
Intro In the last blog post, I discussed domain event handlers whose sole purpose is to execute side effects for application usefulness. In this blog post, I’ll be discussing file structure and how it relates to specification. File Structure An application can be organized into the following file folders: Domains Integration Specifications Tests Here’s an …
Specification as a Library (Vol.4)
Introduction In the previous blog post, I discussed the difference between workflows and attempts. In summary, a workflow accepts a command as input, and as a result, emits a list of domain events. Thus, an attempt also accepts a command as input, but instead, returns a status. Furthermore, the status of an attempt requires the …
Specification as a Library (Vol.3)
Intro In a previous blog post, I described how to consume a specification as input and in return, output a set of isolated business domains. These business domains will serve as our initial blueprint for constructing the application. The following are the business domains that were extracted from the specification: Access Profile Subscriptions Portfolio These …
Specification as a Library (Vol.2)
Introduction In the previous link, I started my saga to explain an approach for encoding a specification into a system itself. In this post, I will introduce the design phase for such an application. Identifying Domains We need the specification for the software that we’re going to build. Hence, with the specification, we can identify …
Specification as a Library (Vol.1)
Introduction This blog post discusses the relationship between specification and design. Specifically, I will discuss how to leverage function signatures as a specification for modeling business rules and application responsibilities. In addition, this post will start the saga for explaining how a specification can be represented through types and exposed as a library for interpreters …
F# (Rehearsal): Property-based Testing
South Florida Test Automation Meetup.
Scott Nimrod's Blog 