Andreas Ländle alaendle

## building-software.md

      
              1 file
            
          
              2 forks
            
          
              2 comments
            
          
              52 stars
            
          
                serras
                / building-software.md
            
            
              Created
              July 3, 2020 20:32
            
          
    Some thoughts on building software

Lately I have been busy reading some new books on Domain Driven Design (DDD) and software architecture -- including a short yet eye-opening one in Python and a great one in F#. At the same time, it seems that more people in the Functional Programming world are looking at more formal approaches to modelling -- some examples here. This has brought some thought from the background of my brain about how we should model, organize, and architect software using the lessons we've learnt from functional programming.
Before moving on, let me be clear about this being just a dump of some thoughts, not always well-defined, definite

  
## haskell_approaches_comparison_table.md

      
              1 file
            
          
              0 forks
            
          
              10 comments
            
          
              26 stars
            
          
                graninas
                / haskell_approaches_comparison_table.md
            
            
              Last active
              April 25, 2024 20:49
            
              
                Haskell Approaches Comparison Table
              
          
    An Opinionated Comparison of Software Design Approaches in Haskell

| | Raw IO | Free Monads; Church Encoded Free Monads | Final Tagless / mtl | Effect Systems | ReaderT

  
## NamedTypeclass.hs
{-# LANGUAGE AllowAmbiguousTypes     #-}
{-# LANGUAGE MultiParamTypeClasses   #-}
{-# LANGUAGE FlexibleInstances       #-}
{-# LANGUAGE ScopedTypeVariables     #-}
{-# LANGUAGE TypeApplications        #-}

module NamedTypeclass where

import Prelude hiding (Monoid, mempty, (<>))
	{-# LANGUAGE AllowAmbiguousTypes #-}
	{-# LANGUAGE MultiParamTypeClasses #-}
	{-# LANGUAGE FlexibleInstances #-}
	{-# LANGUAGE ScopedTypeVariables #-}
	{-# LANGUAGE TypeApplications #-}

	module NamedTypeclass where

	import Prelude hiding (Monoid, mempty, (<>))