FUML – a new data serialization language based on type theory | Dark Hacker News