[HN Gopher] Wingman for Haskell
       ___________________________________________________________________
        
       Wingman for Haskell
        
       Author : dunefox
       Score  : 50 points
       Date   : 2021-12-18 16:25 UTC (6 hours ago)
        
 (HTM) web link (haskellwingman.dev)
 (TXT) w3m dump (haskellwingman.dev)
        
       | etaioinshrdlu wrote:
       | I'll also mention that Codex / Copilot could help write Haskell
       | code where I simply couldn't. Or, at least get me close.
       | 
       | Generation with ML and then filtering with the
       | typechecker/compiler for valid results could be a really powerful
       | pair.
        
       | sourceless wrote:
       | Fantastic. First time I saw something similar to this was Edwin
       | Brady's recent demo of Idris 2. It's quite amazing just how much
       | of a program can be machine-written when the types are strict
       | enough.
       | 
       | I hope holes & case-splitting get into many more languages.
        
       | dunefox wrote:
       | I tried the example and it worked. I am indeed amazed, both at
       | Wingman and how good Haskell and its tooling has become since I
       | last looked at it a couple of years ago.
        
         | whateveracct wrote:
         | One promise of Haskell is that, once you've become an advanced
         | or expert user, it is a gigantic force multiplier for
         | individual devs or small, tight teams.
         | 
         | The way the tooling has progressed recently imo is that being
         | proven in real-time.
        
           | bufo wrote:
           | What are your favorite new developments in tooling? I haven't
           | used Haskell since 2014.
        
       | thih9 wrote:
       | The download link leads to a github repository called "haskell-
       | language-server"; how are these projects related?
       | 
       | Edit: it's addressed in the Wingman's landing page FAQ.
       | 
       | > Wingman is built on top of HLS, and that's the reason it
       | doesn't require dedicated editor support.
       | 
       | The project's source code also lives in HLS, as a plugin:
       | https://github.com/haskell/haskell-language-server/tree/mast...
        
       ___________________________________________________________________
       (page generated 2021-12-18 23:00 UTC)