News for hackers. Stuff that matters.
Re:40% of the code GitHub Copilot users check-in is AI gener... by tasuki on Wednesday March 15, 2023 @05:23AM (#35165739)
> Not sure what you mean by “lining up” Haskell types … but don’t LSPs already give us clear information about the inferred types and do so with nigh zero chance of errors.

I don't mean type inference but turning the present type a into the required type b. LSP don't do that.

Re:40% of the code GitHub Copilot users check-in is AI gener... by worrycue on Wednesday March 15, 2023 @07:47AM (#35166762)
Still learning Haskell, don't quite get what you are saying. But I will probably figure it out someday.