Skip to content

Well-Typed Typing Tutor where you Type Types... in space... yup, you heard me

License

Notifications You must be signed in to change notification settings

ChrisPenner/void-space

Repository files navigation

VOIDSPACE

Yo dawg; I heard you like types, so I made a well-typed typing tutor where you can type your types... in SPACE!

asciicast

Fight off scary category-theory in outer-space with nothing but your trusty keyboard :)

See how many kills you can get before you asphyxiate in the cold dark void (trust me, you'll lose eventually 😉 )

Usage

  • Clone the repo
  • $ stack install
  • $ void-space-exe (from the root of the repo)
  • Customize word-list.txt or add your own space-ships and art in ./art!
  • Customize values in src/Config.hs to tweak difficulty!

Features

  • Super-awesome recharging shield tech to make the Space Federation proud.
  • Customizable art!
  • Auto-scaling (and customizable) difficulty
  • Super cool space background to impress all your friends (my mother was VERY impressed)
  • Distributed Client/Server architecture for LAN play! Cuz you gotta have LAN parties, how else am I supposed to get rid of all of these Doritos?
  • Chaotic events!
  • Powerups!
  • Co-operative mode!

Design Principles

Unlike many fun games designed to help you learn Haskell, this one was intentionally designed to use as many complex and confusing concepts as possible! The real world's tough kid, best get used to it 😉, in reality it's not that bad, but it does use Classy Lenses and some pretty complex traversals and folds as well as some darker corners of the lens library. Have fun digging through it! It originally used vectors with dependent types, representable functors, and the selections lib, but I decided to take it easy (for now).

Releases

No releases published

Packages

No packages published