[Haskell-cafe] GPT & Haskell

[William Yager]

I found it to be quite good at questions without too large of a
question-specific context. E.g. it can easily solve questions like "Write a
`Functor` instance for `data Foo a = Bar a | Baz a a` and prove it obeys
the functor laws.".

No doubt the models will get better at handling larger problems as they are
scaled up.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20230331/d1a3426a/attachment.html>