"I'd imagine the IDE tooling would be seriously impressive. Some features off the top of my head:
Quick abstraction. You highlight a bit of code, press a hotkey, type in a function name and it splits out into its own function.
An inliner. Similar to the above, it could replace a call to a function with an inlined version if you wanted to get rid of some abstraction with the option to inline it via a lambda.
Some 'quality of life' things like converting between let and where wish the push of a hotkey.
From reddit
"I'd imagine the IDE tooling would be seriously impressive. Some features off the top of my head:
Quick abstraction. You highlight a bit of code, press a hotkey, type in a function name and it splits out into its own function.
An inliner. Similar to the above, it could replace a call to a function with an inlined version if you wanted to get rid of some abstraction with the option to inline it via a lambda.
Some 'quality of life' things like converting between let and where wish the push of a hotkey.
Automatic converter to pointfree similar to http://pointfree.io
Autocomplete that takes types into account.
Function search of libraries integrated via hoogle.
type 'coercer' such as you type in a function and it needs a text, but you gave it a string, it could add the corresponding conversion function.
Convert between sugared and non sugared code, such as do syntax." `