Re:Barliman – real-time program synthesis to make the progra...
by gergoerdi on Monday December 04, 2017 @11:03PM
(#15849624)
This seems like a real-time / on-line version of MagicHaskeller: http://nautilus.cs.miyazaki-u.ac.jp/~skata/MagicHaskeller.ht...
[ Parent
| on HN ]
Re:Barliman – real-time program synthesis to make the progra...
by aetherspawn on Monday December 04, 2017 @11:33PM
(#15849745)
This thing is so smart.
Add a 'z' to the end of the first example and it figures out it needs to 'reverse . drop 1 . reverse' to take a character off the end.
Imagine if it could learn on every open source Haskell codebase on GitHub and then learn in real time while people type.