💾 Archived View for gemini-textboard.fgaz.me › thread › 183 captured on 2023-01-29 at 02:51:12. Gemini links have been rewritten to link to archived content

-=-=-=-=-=-=-

Gemini Textboard

Back to thread list

#183 - Anonymous - Mon, 3 May 2021 21:00:45 UTC

Anyone here interested in Idris2 growth? Seems like most of small web related software is written in Go, but this textboard is made with Haskell. This is brilliant, but I like deptypes

#184 - Anonymous - Mon, 3 May 2021 21:02:14 UTC

Also, I read somewhere that language popularity is directly depends on state of its ecosystem. Feel obligated to contribute, but damn it's hard

#213 - -6LFfOlvH0mdLTXz2np9TyGfNaCuB5ZbpYC78j1_ATo - Fri, 28 May 2021 17:12:16 UTC

"Signing" this thread, just in case

#222 - Anonymous - Sun, 30 May 2021 14:48:12 UTC

I wanted to, but Haskell is getting more and more dependent types features (the dep. haskell meta proposal was just accepted), and for more proof-oriented stuff I just use Agda

#226 - -6LFfOlvH0mdLTXz2np9TyGfNaCuB5ZbpYC78j1_ATo - Mon, 31 May 2021 06:33:16 UTC

Yeah, after Haskell proposal I had a feeling that there is no point in working with unstable Idris2 compiler, when GHC is so good. On the other hand, there are other things about Idris2 that I like that H. lacks -- opt-in lazyness, for example. But compiler's stability beats that Agda is cool. Ability to transpile to H. is great, too. Agda + H. probably is the way

#227 - -6LFfOlvH0mdLTXz2np9TyGfNaCuB5ZbpYC78j1_ATo - Mon, 31 May 2021 06:34:23 UTC

(There was an \n between "that" and "Agda")

New reply