<div dir="ltr"><div>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.<br></div><div><br></div><div>Haskell does reduce time between introductions of defects and their discoveries. Many defects do not pass compiler type checks, for example.</div><div><br></div><div>Monadic code allows one to combine local state and safe and atomic communication between different (parallel) parts of the program.</div></div><br><div class="gmail_quote gmail_quote_container"><div dir="ltr" class="gmail_attr">сб, 7 дек. 2024 г. в 15:45, Mostafa Touny via Haskell-Cafe <<a href="mailto:haskell-cafe@haskell.org">haskell-cafe@haskell.org</a>>:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Dear Haskellers,<br>
I hope my email finds you in a good shape.<br>
<br>
Software engineers usually deviate away from Haskell, in the name of rapid development.<br>
<br>
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.<br>
<br>
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.<br>
<br>
Discussion.<br>
- Do you agree category and type theory could reduce projects costs?<br>
- Is it true, no guideline is designed for demonstrating their worthiness?<br>
<br>
Sincerely,<br>
Mostafa Touny<br>
<a href="https://mostafatouny.github.io/" rel="noreferrer" target="_blank">https://mostafatouny.github.io/</a><br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
To (un)subscribe, modify options or view archives go to:<br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
Only members subscribed via the mailman list are allowed to post.</blockquote></div>