For background information, Featherweight Go The Go language famously lacks generics. Our paper introduces a core formal model of Go, Featherweight Go (FG), and explores a design of generics for FG featuring structural typing (Featherweight Generic Go). The semantics of generics are defined via monomorphisation into FG.
https://www.youtube.com/watch?v=62xlcsJ0AUs Featherweight Go Paper DOI: https://doi.org/10.1145/3428217 <https://www.youtube.com/redirect?event=video_description&redir_token=QUFFLUhqa0dENnZIOG0yMWRFN2VvQmxlZ0hUaFNMS1hpUXxBQ3Jtc0tucXVMM2oxUUNlaGpPTzk4Y0MtdFNWa29YVWRYUUpxX21JR2RiTC1xRm44bkk2cGZhdHF0cnY3Ry04WmJOSmh4YTl6b3BPcUFtU19mVHVTTjFKY2pyWHBRaU5ORUNJVGs5N0MwX0kyaXpHRGZsendPcw&q=https%3A%2F%2Fdoi.org%2F10.1145%2F3428217> Presented at OOPSLA, part of SPLASH 2020 By Robert Griesemer, Raymond Hu, Wen Kokke, Julien Lange, Ian Lance Taylor, Bernardo Toninho, Philip Wadler, Nobuko Yoshida https://dl.acm.org/doi/10.1145/3428217 https://dl.acm.org/doi/pdf/10.1145/3428217 Peter On Sunday, March 20, 2022 at 1:28:39 AM UTC-4 cuiw...@gmail.com wrote: > in the period of typeparam development, we have try to add a keyword > constraint, why we remove it finally, i am trying to understand why to add > it and why to remove int finally. -- You received this message because you are subscribed to the Google Groups "golang-nuts" group. To unsubscribe from this group and stop receiving emails from it, send an email to golang-nuts+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/golang-nuts/2793f88f-521e-4dd0-bf9d-d5ce81b8f9a4n%40googlegroups.com.
