Gemini Textboard
#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")