Linked Questions

115 votes
3 answers
7k views

What are the best Haskell libraries to operationalize a program? [closed]

If I'm going to put a program into production, there are several things I need that program to do in order to consider it "operationalized" – that is, running and maintainable in a measurable and ...
Alex Payne's user avatar
  • 1,141
50 votes
3 answers
5k views

designing large projects in OCaml [closed]

What is a best practices to write large software projects in OCaml? How do you structure your projects? What features of OCaml should and should not be used to simplify code management? Exceptions? ...
John Rivers's user avatar
  • 1,307
25 votes
1 answer
5k views

Enterprise patterns with functional programming

Is there any good source of (centralized) information about enterprise architecture patterns (a la Fowler's), maybe with examples and use cases and a fair amount of practical information? For example, ...
ale64bit's user avatar
  • 6,272
26 votes
3 answers
7k views

Struggling with using pure functional programming to solve an everyday problem

I saw this post in hacker news today. I am struggling with the same problems of understanding how pure functional programming will help me abstract a real world problem. I made the switch from ...
Frank Henard's user avatar
  • 3,638
33 votes
2 answers
7k views

How to structure a Haskell project?

I'm currently trying to do a Haskell project using the Test Driven Development methodology. In Java, we can create a nicely structured project containing src and bin folders, then there are main and ...
HHC's user avatar
  • 2,573
15 votes
2 answers
1k views

Modular Program Design - Combining Monad Transformers in Monad Agnostic functions

I am trying to come up with a modular program design and I, once again, kindly request your help. As a follow-up to these following posts Monad Transformers vs passing Parameters and Large Scale ...
Bruno Grieder's user avatar
10 votes
2 answers
2k views

Design patterns for static type checking [closed]

I'm currently trying to figure out which aspects of my program can be statically type checked by the scala compiler. After reading this question I came up with the idea of design patterns for types. I ...
ziggystar's user avatar
  • 28.7k
8 votes
3 answers
810 views

Best Practice on design and usage of data type in Haskell [closed]

My question is related to a more general question on Haskell program design. But I would like to focus on a specific use case. I defined a data type (e.g. Foo), and used it in a function (e.g. f) ...
Causality's user avatar
  • 1,123
3 votes
4 answers
526 views

Managing invariants in Clojure / Haskell

I have been comparing OOP and FP methodologies and I could not put my head around one thing in functional programming - keeping invariants in the data structure. For example imagine the following ...
eveningcoffee's user avatar
7 votes
1 answer
161 views

Haskell style & typeclass design (should typeclasses be minimized?)

Suppose that class A a where m1 :: a -> a m2 :: a -> a m3 :: a -> a ... where it is possible to write default implementation for m2 and m3 by using m1. Is it better to leave ...
Gspia's user avatar
  • 809
2 votes
1 answer
267 views

How does pure functional language(haskell) users make Design?what alternative to uml they use? [closed]

giving that haskell doesn't have the notion objects(even it has the keyword class) How does Haskell developer design their code? how do they represent interaction/entities? does they have alternative ...
chedy najjar's user avatar