Quartz: Towards a statically typed Erlang | Dark Hacker News