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
Also, I read somewhere that language popularity is directly depends on state of its ecosystem. Feel obligated to contribute, but damn it's hard
"Signing" this thread, just in case
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
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
(There was an \n between "that" and "Agda")