<div dir="ltr"><div>My two cents:</div><div><br></div><div>- ChatGPT knows not just Haskell, but also specific libraries like Copilot (<a href="https://github.com/Copilot-Language/copilot/">https://github.com/Copilot-Language/copilot/</a>) and the FRP library Yampa (<a href="https://github.com/ivanperez-keera/yampa">https://github.com/ivanperez-keera/yampa</a>). Here's an example: <a href="https://www.facebook.com/photo?fbid=10161505593168357&set=a.427589328356">https://www.facebook.com/photo?fbid=10161505593168357&set=a.427589328356</a></div><div><br></div><div>- At NASA we have systems (<a href="https://github.com/nasa/ogma">https://github.com/nasa/ogma</a>) that help us transform structured natural language into Copilot. ChatGPT may help us go from unstructured NL to Copilot. We've tried it with properties like the ones we use in actual work and it produces something that is 95% of the way there. With the compiler for type checking, plus simulators and other tools for debugging, this could really accelerate the process. Obviously we'd need to check the result, etc. (which we already do regardless of who writes it). We are studying this direction atm.</div><div><br></div><div>Ivan<br></div><div><br></div><div><br></div></div>