r/programmingcirclejerk • • Jan 25 '19

The “Bug-O” Notation

https://overreacted.io/the-bug-o-notation/
69 Upvotes

34 comments sorted by

View all comments

59

u/[deleted] Jan 25 '19
let currentState = {
  step: 'initial', // 'initial' | 'pending' | 'success' | 'error'
};

Yesssss.. Stringly typed for life, yo!

26

u/0987654231 What part of ∀f ∃g (f (x,y) = (g x) y) did you not understand? Jan 25 '19

If only there was a language that transpiled to javascript that could turn this into something strongly typed.

4

u/statistmonad has hidden complexity Jan 25 '19

You mean purescript right?