WelcomeWelcome | FAQFAQ | DownloadsDownloads | WikiWiki

Author Topic: Monadic i/o and UNIX shell programming  (Read 224 times)

Offline mocore

  • Hero Member
  • *****
  • Posts: 636
  • ~.~
Monadic i/o and UNIX shell programming
« on: September 06, 2024, 03:59:55 PM »
https://okmij.org/ftp/Computation/monadic-shell.html

Quote
We will show uncanny similarities between monadic i/o in Haskell,
and UNIX filter compositions based on pipes and redirections.
UNIX pipes (treated semantically as writing to temporary files) are quite similar to monads.
Furthermore, at the level of UNIX programming, all i/o can be regarded monadic.

interesting perspective 
 

see also : "how to distinguish FP hype from reality" (Gilad Bracha) @ https://forum.tinycorelinux.net/index.php/topic,27239.0.html



« Last Edit: September 06, 2024, 04:01:42 PM by mocore »