News for hackers. Stuff that matters.

A comment on A case for Go as the best language for AI agents. Parent comment

Re:A case for Go as the best language for AI agents by satvikpendem on Monday March 02, 2026 @02:36PM (#47222981)
What will you use for dependent types, Idris 2? Lean? None are as popular as Rust especially counting the number of production level packages available.
[ Parent | on HN ]
Re:A case for Go as the best language for AI agents by valenterry on Tuesday March 03, 2026 @03:23AM (#47229702)
Scala has dependant types (though inferior than Idris ones) and has the whole jvm ecosystem.
[ Parent | on HN ]