3 ms·
Are there any examples of projects in Idris that do something non-trivial and non-academic? E.g, websites, video games, etc.
by swagonomixxx 6y ago
Are there any examples of projects in Idris that do something non-trivial and non-academic?
E.g, websites, video games, etc.
- DonaldPShimoda 6y agoIdris is primarily an academic language, much like Haskell. While I don't doubt that people will come to implement such programs in it at some point, I haven't seen anything yet (though I admittedly don't stick close to Idris at the moment so I could've missed something).
- saityi 6y agoJan Corazza has some really great write-ups about writing bindings to SDL and writing a video game in Idris using them. The source is available on Github https://flowing.systems/2020/01/13/a-game-in-a-pure-language-part-1-introduction-and-problems-with-idris.html https://flowing.systems/2020/01/13/a-game-in-a-pure-language... https://flowing.systems/2020/04/13/a-game-in-a-pure-language-part-2-state.html https://flowing.systems/2020/04/13/a-game-in-a-pure-language... https://github.com/corazza/game-idris https://github.com/corazza/game-idris
- deleted 6y ago[deleted]
- leonvv 6y agoI wrote a Todo application in Idris that compiles to Javascript (https://github.com/leon-vv/Todo https://github.com/leon-vv/Todo). I used the dependent type system of Idris to embed a small part of SQL in Idris, which means the type system can proof certain things about my queries (for example that fields accessed are actually part of the (joined) tables).