Menu Icon
About
About Us
What We Do
Who We Are
Our Proven Process
Solutions
Services
DevOps + Cloud
Fractional CTO
Mobile + Web App Development
Legacy System Modernization
Artificial Intelligence
AI Solutions
AI-Assisted Code Modernization
AI Vision Engineering
Insights
Careers
Case Studies
Contact Us
Contact Us
Stack Builders Insider
Discover expert insights by industry-leading engineers to help you deliver pragmatic, reliable software solutions.
Email
Subscribe
By subscribing, you agree our
Privacy Policy
.
Learn about practical DevOps in our free resource
Find out how you can optimize DevOps for better security, reliability, and scalability.
Learn more
Clouds and Servers
Explore some topics
Search
Announcing Stack Builders’ new logo
Announcing Stack Builders’ new logo
Stack Builders
Welcome to the new look of Stack Builders! Our company is continually shifting and growing and we have updated our website and logo to reflect all the new directions we are heading in.
Lori Leitgeb
2 min read
Specific Endpoints
Specific Endpoints
Haskell
ATS
Encoding web application specifications using Haskell and ATS
Eric C. Jones
12 min read
Reverse, Reverse: Theorem Proving with Idris
Reverse, Reverse: Theorem Proving with Idris
Idris
"This could be the start of a beautiful proof."
Juan Pedro Villa
9 min read
A QuickCheck Tutorial: Generators
A QuickCheck Tutorial: Generators
Haskell
Testing
Learn how to use QuickCheck’s combinators to create simple generators of random values. From reversing lists to rolling dice and crafting generators for your data types, this tutorial will enhance your programming skills and help you get started with property-based testing in Haskell. This popular post was originally written in 2015 and updated in January 2024 to reflect QuickCheck library changes up to the most recent version (2.14.3) as well as other minor fixes.
Juan Pedro Villa
6 min read
The Hang of Elm: Hangman and functional programming with Elm
The Hang of Elm: Hangman and functional programming with Elm
Hangman
Elm
Functional Programming
An introduction to pure functional programming with Elm using an example of imperative programming.
Juan Pedro Villa
5 min read
Errors and Exceptions in Haskell
Errors and Exceptions in Haskell
Haskell
Miscellaneous
`*** Exception: Prelude.undefined`
Juan Pedro Villa
10 min read
19
20
21
22
23
...