I imagine the face of python devs if I show them Haskell that generates Python :D
-
-
-
-
Now I've read... is it meant to help making tools that can manipulate python code?
1 reply 0 retweets 0 likes -
Replying to @mandubian @aloiscochard
Yep, exactly. For example, here is TCO: https://github.com/qfpl/hpython/blob/master/example/OptimizeTailRecursion.hs … Another way to look at it; a linter that doesn't report errors. It just fixes your python code: https://github.com/qfpl/hpython/blob/master/example/FixMutableDefaultArguments.hs … Or, instead of arguing over variable names, write a commit hook that changes them (WIP).
1 reply 1 retweet 4 likes -
Replying to @dibblego @aloiscochard
interesting... we are already forced to use many tools around python to help being a bit deterministic, more robust tools would help...
1 reply 0 retweets 1 like -
Replying to @mandubian @aloiscochard
Please let us know what you need. Happy to write it.
1 reply 0 retweets 0 likes -
Replying to @dibblego @aloiscochard
Dreaming: I want a tensorflow/pytorch python tensor compile-time dimension checker, Is that possible? :D
2 replies 0 retweets 0 likes -
Replying to @mandubian @aloiscochard
I don't know what that is. But let's go with yes. Want to help me out with knowing what that means?
1 reply 0 retweets 0 likes -
This Tweet is unavailable.
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.