https://github.com/gergoerdi/icfp-bingo-2017-idris
ICFP Bingo 2017 (Idris edition)
https://github.com/gergoerdi/icfp-bingo-2017-idris
bingo-game idris single-page-app webapp
Last synced: 2 months ago
JSON representation
ICFP Bingo 2017 (Idris edition)
- Host: GitHub
- URL: https://github.com/gergoerdi/icfp-bingo-2017-idris
- Owner: gergoerdi
- Created: 2017-10-11T11:00:25.000Z (over 7 years ago)
- Default Branch: master
- Last Pushed: 2019-08-22T14:48:59.000Z (over 5 years ago)
- Last Synced: 2025-01-17T11:43:52.306Z (4 months ago)
- Topics: bingo-game, idris, single-page-app, webapp
- Language: Idris
- Size: 25.4 KB
- Stars: 30
- Watchers: 5
- Forks: 2
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
ICFP 2017 Bingo (Idris edition)
===============================
I wrote the original implementation of the [ICFP 2017 Bingo][bingo] in
Haskell using GHCJS and Reflex-DOM; however, the generated JavaScript
weighed in at 2 MB, which is pretty bad considering how trivial this
single-page webapp is.
My friend and ex-coworker [Encsé][encse] mentioned I should give Idris a
try, so I did. The resulting JavaScript is 150 kB, much better.
Dependencies:
-------------
* [`idrisjs`][idrisjs] for interfacing with the DOM
* `effects` for random number generation
* `contrib` for ST as used by `idrisjs`
[Live demo][demo]
=================
[bingo]: https://gergo.erdi.hu/projects/icfp-bingo-2017
[encse]: https://csokavar.hu
[idrisjs]: https://github.com/rbarreiro/idrisjs
[demo]: https://gergo.erdi.hu/projects/icfp-bingo-2017/idr/