Basically, but with type safety and a decent runtime performance