Add point-free converter?

[anton-trunov]

Basically a telegram version of https://github.com/keathley/pointfree.io.

Cool project, btw!

[vyorkin]

Thanks :)

The idea is to build kind of a lightweight version of Lambdabot, but for Telegram instead of IRC. For now, it is just a naive implementation that I've put together in a few hours yesterday.

Yeah, the pointfree and pointfull is on my TODO list:

• Safely running untrusted code
• Defining persistent bindings for evaluation. The command /let x = 4 should set x to 4. /unlet deletes old definitions. Each user should have its own bindings.
• Using Hoogle: /h [a] -> [a]
• Pointfree refactoring using the pointfree package: /pf \xs n -> take n xs should output flip take.
• Djinn: takes a type signature and constructs a function satisfying it: /djinn (a, b) -> c -> (b, c) should output smth like f (_, a) b = (a, b)
• What type does a monad transformer wrap? /unmtl StateT s IO a ==> s -> IO (a, s)
• Do-syntax desugaring: Convert do notation to bind notation: /undo do { x <- getLine; print x } ==> getLine >>= \ x -> print x

[anton-trunov]

Awesome plan! Thank you for sharing.