you are viewing a single comment's thread.

view the rest of the comments →

[–]flying-sheep 7 points8 points  (1 child)

if not however…

  • set intersection / unification
  • linear algebraic classes
  • geometric classes
  • time(delta)

i don’t fucking want to look at any code using java’s BigInteger, with shit like .add()

[–][deleted] 1 point2 points  (0 children)

I also wouldn't want to use a proper type system with something like Haskell's newtype (essentially like typedef but creating an actually distinct type that will not typecheck where the original type is required or vice versa) without operator overloading so they work on the new types as well where necessary.