AI UNDERDOGSDAILY PICK
AI UNDERDOGS
Claude 给我写了个语言
Claude wrote me a language
kmcnally5/FROG
有人让 Claude 写了一门全新的编程语言
结果写完之后
他自己也懵了——这玩意儿到底能干嘛？
Someone asked Claude to design a brand new
programming language. Claude delivered. And then the author
just sat there, staring at it, wondering: what
the hell do I do with this now?
FROG：没有捷径的语言
FROG: No shortcuts, ever
FROG 是一门强类型的函数式语言
设计哲学就一句话：所有事情只有一种写法
没有捷径
没有隐式类型转换
没有 truthiness 陷阱
没有 try-catch 异常
逼你把每种情况都写清楚
FROG is a strictly typed functional language with
one core rule: everything has exactly one honest
way to do it. No implicit coercion, no
truthiness traps, no exceptions thrown and caught behind
your back. You deal with every case explicitly
or it won't compile
★ SIGNAL 1
错误必须返回，不能抛
Errors are returned, not thrown
错误处理抄的是 Go 的思路——错误作为返回值显式传递
不是扔一个异常让你猜
再加上穷举模式匹配
switch 必须覆盖所有情况
漏了一个编译直接报错
想偷懒？
编译器不答应
Error handling borrows from Go's playbook: errors are
values returned from functions, not exceptions you hope
you caught somewhere. Pair that with exhaustive pattern
matching — if your switch misses a case
it won't compile. The compiler won't let you
be lazy
★ SIGNAL 2
函数式 + async，都有
First-class functions + async/await
虽然是函数式语言，但不搞纯到变态那套
一等公民函数
async/await 都内置
看起来像是给想认真写代码的人准备的实用工具
不是学术论文的实验品
It's functional, but not the kind that makes
you feel like you're doing math homework. First-class
functions, built-in async/await — feels like a pragmatic
tool for people who actually want to ship
things, not a research paper with a GitHub
repo
作者在帖子里原话说：「Claude wrote me a language, now I don't know what to do with it
」这种坦诚比那些写「重新定义编程」的项目真实多了
一个还没想好用途的语言
反而让人好奇它能走多远
The author's own words: 「Claude wrote me a
language, now I don't know what to do
with it.」 That kind of honesty beats any
「redefining programming」 pitch. A language without a clear
purpose yet — somehow that makes it more
interesting, not less
AI UNDERDOGS
然后我也不知道该拿它干嘛
And now I have no idea what to do with it
kmcnally5/FROG
关注 · 每天发现更多 AI 神作
github.com/kmcnally5/FROG