Describir: Trendy rozvoje typového aplikačního programového vybavení