Haskell Interlude 38: Edwin Brady

[atravers]

Monadic Bang: A plugin for more concise do-block notation, inspired by Idris

I’ve written a GHC plugin that lets you take things like the following code: main :: IO () main = do putStrLn "Which argument would you like to print?" line <- getLine args <- getArgs putStrLn $ args !! read line and instead write this code: main :: IO () main = do putStrLn "Which argument would you like to print?" putStrLn $ !getArgs !! read !getLine This is heavily inspired by Idris’s !-notation, the main difference being that this plugin only allows you to use ! inside of existi…