Re: Engineering Value of Functional Programming

The axiom of software engineering is "the longer the time between
introduction of defect and its' discovery, the bigger the cost of fixing
defect." This usually comes from "error in requirements is the hardest to
fix," but is true in general too.

Haskell does reduce time between introductions of defects and their
discoveries. Many defects do not pass compiler type checks, for example.

Monadic code allows one to combine local state and safe and atomic
communication between different (parallel) parts of the program.

сб, 7 дек. 2024 г. в 15:45, Mostafa Touny via Haskell-Cafe <
[email protected]>:

> Dear Haskellers,
> I hope my email finds you in a good shape.
>
> Software engineers usually deviate away from Haskell, in the name of rapid
> development.
>
> In Pure Math, I can see the power of abstraction; It resulted in broad
> applications, with a sustainable and scalable usage in all humanity's
> sciences. Software development should benefit as well, avoiding technical
> debts and refactoring costs. Haskell seems more promising as it is
> empowered by category and type theory.
>
> Nonetheless, I cannot find a single management methodology, like Eric
> Ries' lean startup and iterative agile, that demonstrates the power of
> functional programming from the perspective of project management.
>
> Discussion.
> - Do you agree category and type theory could reduce projects costs?
> - Is it true, no guideline is designed for demonstrating their worthiness?
>
> Sincerely,
> Mostafa Touny
> https://mostafatouny.github.io/
> _______________________________________________
> Haskell-Cafe mailing list
> To (un)subscribe, modify options or view archives go to:
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
> Only members subscribed via the mailman list are allowed to post.

_______________________________________________
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
Only members subscribed via the mailman list are allowed to post.