Agentic CLI for Type-driven programming

Community
1

Hello,

I am impressed by the recent Spec-driven Agentic tools like Kiro, Spec-kit, and cc-sdd. The idea is to generate specified requirements before generating code.

It resonates with Type-driven programming embraced by the functional programming community. See Thinking with Types.

Discussion

  1. Are you aware of any agentic tool, natively designed for type-driven programming?
  2. Did you successfully use any agentic tool to create type definitions as specifications prior to generating code? Any recommendations?
  3. Do you have any experience with CodeLogician?
1 Like