随着近年来工业级编程语言的进化,简单粗暴的接口实现或虚继承为基础的抽象越来越无法满足用户的需求,甚至始终强调“轻量级”的 Go 语言也计划好将要放弃曾经的设计决策、在未来版本中加入泛型。本次分享中,讲者将从泛型在一些语言中的设计与实现切入,进而介绍“元编程”这一更加广泛和灵活的编程语言概念与方法,分享多种编程语言中的元编程特性,包括 C macros、C++ template、Java/C# reflection、Rust procedural macros、Lisp macros,以及将要到来的 Scala 3.0 metaprogramming:inline, macros and staged programming。
活动信息:
欢迎一起来玩!