A Typed Language for Agent Coordination | Dark Hacker News