GHC2024 – community input

[atravers]

Now that GHC has do-notation for Applicative types:

ApplicativeDo transformation (8ecf6d8f) · Commits · Glasgow Haskell Compiler...

…are idiom brackets still needed?

---

As for the monadic-bang annotation:

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…

…Idris is a strict language.