
<html>

<head>

<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">

<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>

</head>

<body dir="ltr">

<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">

I do not think that an engineering approach needs a methodology in order to be considered effective. Type safety, for instance, is an appealing feature by itself.</div>

<div id="appendonsend"></div>

<hr style="display:inline-block;width:98%" tabindex="-1">

<div id="divRplyFwdMsg" dir="ltr"><font face="Calibri, sans-serif" style="font-size:11pt" color="#000000"><b>From:</b> Haskell-Cafe <haskell-cafe-bounces@haskell.org> on behalf of Mostafa Touny via Haskell-Cafe <haskell-cafe@haskell.org><br>

<b>Sent:</b> Saturday, December 7, 2024 1:45 PM<br>

<b>To:</b> haskell-cafe@haskell.org <haskell-cafe@haskell.org><br>

<b>Subject:</b> [Haskell-cafe] Engineering Value of Functional Programming</font>

<div> </div>

</div>

<div class="BodyFragment"><font size="2"><span style="font-size:11pt;">

<div class="PlainText">CAUTION: This email originated from outside of the organisation. Do not click links or open attachments unless you recognise the sender and know the content is safe.<br>

<br>

<br>

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/">https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmostafatouny.github.io%2F&data=05%7C02%7Cfrancescoocchipinti%40tracsis.com%7C46ef7f6e49294512511608dd16bd1514%7C6b98f2667d234d0a8b8a7e4cf7fded86%7C0%7C0%7C638691723544093562%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=4JrqBCzr4eVhAY9ZEu7GUbA339YreqZxCLnzGDTuJZU%3D&reserved=0</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">https://eur02.safelinks.protection.outlook.com/?url=http%3A%2F%2Fmail.haskell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fhaskell-cafe&data=05%7C02%7Cfrancescoocchipinti%40tracsis.com%7C46ef7f6e49294512511608dd16bd1514%7C6b98f2667d234d0a8b8a7e4cf7fded86%7C0%7C0%7C638691723544109390%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=sBpM1mnmxpyyEySlCE3M%2FuADMShsOHIpWSUXL2H7%2FWw%3D&reserved=0</a><br>

Only members subscribed via the mailman list are allowed to post.<br>

</div>

</span></font></div>

</body>

</html>