|
|
|
|
|
|
by davidatbu
44 days ago
|
|
|
Not OP. For this particular use case, I think performance is a primary concern. But if you mean in general, I also totally feel that languages that let you represent more invariants statically are better fit for LLMs. I'd love to see experimentation with LLMs with dependent types and managed effects. |
|
|