Computer science2020 · shared on Hacker News
Featherweight Go
Explore programming-language theory through a compact formal model of Go.
GO BEYOND THE ABSTRACT
The conversation around the idea.
Original Hacker News threads. Different perspectives, questions, and things worth thinking about.
Showing up to 100 related threads. A paper may appear in a comment rather than the original submission.
Links found in the discussion
Up to 50 recent source links, in HN item order.
Comment #49135090 Comment #44177781 Comment #42278699 Comment #37556600 Comment #31419825 Comment #30530187 Comment #29582884 Comment #28904255 Comment #27964434 Comment #27165173 Comment #26911803 Comment #26094561 Comment #25753041 Comment #25751723 Comment #25003214 Comment #23799919 Comment #23714198 Comment #23548230 Comment #23544324 Comment #23457349
Yainar-g ·
The Next Step for Generics
673 points664 comments
Ymuglug ·
Green vs. Brown Programming Languages
438 points486 comments
Yhenrikhorluck ·
(On | No) Syntactic Support for Error Handling
416 points579 comments
YMrBuddyCasino ·
Borgo Programming Language
361 points198 comments
YkomuW ·
How generics are implemented in Go 1.18
288 points215 comments
YkomuW ·
Golang generics proposal has been accepted
276 points168 comments
Y4ad ·
Featherweight Go
252 points160 comments
Yrauhl ·
Go is boring, and that’s fantastic
250 points375 comments
Yjparise ·
A Proposal for Adding Generics to Go
225 points270 comments
Ybullcitydev ·
Trying Out Generics in Go
215 points251 comments
Ywwarner ·
Go Type Parameters – Draft Design
183 points79 comments
Ydbattaglia ·
Go: Don't Change the Libraries in 1.18
183 points122 comments
Yvyuh ·
Hindley-Milner Type Inference (2012)
177 points184 comments
YMerovius ·
Calculating Go type sets is harder than you think
79 points40 comments
YVitalyAnkh ·
Oxide: The Essence of Rust (2020)
76 points13 comments
Ybitfield ·
Map[string]interface{} in Go: a user's manual
50 points70 comments
Ydist1ll ·
When Zig Outshines Rust – Memory Efficient Enum Arrays
21 points1 comments
Ymseepgood ·
Philip Wadler's talk on generics for Go (“Featherweight Go”)
10 points3 comments
Ygadmm ·
Featherweight Go (A generics design for Go)
4 points0 comments
Yjabits ·
Golang proposal: container/: generic collection types
2 points0 comments
Ysigna11 ·
Featherweight Go [pdf]
1 points0 comments