思想与社会2016 · 分享于 Hacker News

Java Generics Are Turing Complete

探索《Java Generics Are Turing Complete》的原文与 Hacker News 社区讨论,查看来源并加入阅读清单。

阅读原文

看看社区如何讨论这个想法。

来自 Hacker News 的原始讨论。不同的视角、疑问,以及值得继续思考的线索。

最多展示 100 条相关讨论。论文可能出现在评论中,并非原帖投稿内容。

在讨论中发现的引用

按 HN 条目顺序展示最近的 50 条引用来源。

Ylovasoa ·

Compiling Rust is NP-hard

417 赞同210 评论
Ymkeeter ·

A Review of the Zig Programming Language (Using Advent of Code 2021)

341 赞同270 评论
YbinkHN ·

From zero to 10M lines of Kotlin

309 赞同340 评论
Yjparise ·

A Proposal for Adding Generics to Go

225 赞同270 评论
Ysupermdguy ·

TypeScripts Type System Is Turing Complete

221 赞同88 评论
Ytheemathas ·

The Unsound Playground: Java and Scala's Type Systems are Unsound

206 赞同124 评论
Ypplonski86 ·

How Many Type Parameters Can a Java Method Have?

174 赞同46 评论
Ylawrenceyan ·

Google/Oracle’s $9B Copyright Case Could Be Headed for the Supreme Court

162 赞同263 评论
Ysoundsop ·

You can't make C++ not ugly, but you can't not try (2010)

142 赞同177 评论
Ydoctor_n_ ·

Show HN: FizzBuzz purely in Rust's trait system

120 赞同30 评论
Yingve ·

Java Generics Are Turing Complete

112 赞同101 评论
Yjboynyc ·

Classification of the principal programming paradigms

96 赞同36 评论
Ypaavohtl ·

LLVM 13's new pass manager improves Rust's compile times by up to 20%

61 赞同18 评论
Yevacchi ·

Formal Language Recognition with the Java Type Checker (2016) [pdf]

28 赞同2 评论
Ydist1ll ·

When Zig Outshines Rust – Memory Efficient Enum Arrays

21 赞同1 评论
Yychen306 ·

Java generics are turing complete

3 赞同0 评论
Ysigna11 ·

Java Generic Are Turing Complete

3 赞同0 评论

一个想法,引向另一个。

发现更多论文