Stanford Seminar - Concatenative Programming: From Ivory to Metal

Stanford Seminar - Concatenative Programming: From Ivory to Metal

Stanford Online

6 лет назад

10,824 Просмотров

EE380: Computer Systems Colloquium Seminar
Concatenative Programming: From Ivory to Metal
Speaker: Jon Purdy, Microsoft

Concatenative programming is a relatively new programming paradigm built on a simple yet powerful tool: function composition. In this talk I will give an overview of concatenative languages from high-level theory down to low-level implementation. I will discuss some historical background, give an overview of the existing concatenative programming literature, then dive into examples of the exciting advantages that these languages may have to offer in terms of program correctness, safety, usability, and performance on the hardware of today and tomorrow.

About the Speaker:
Jon Purdy is a software engineer who has worked extensively on programming language technology such as compilers, virtual machines, and garbage collectors, both in industry and as a hobbyist. He has worked on the Mono runtime at Xamarin and Microsoft, developed high-performance site integrity infrastructure in Haskell at Facebook, and co-developed an ActionScript compiler for an implementation of Flash. In his spare time he works on Kitten, a statically typed concatenative programming language.

For more information about this seminar and its speaker, you can visit http://ee380.stanford.edu/Abstracts/171115.html

Support for the Stanford Colloquium on Computer Systems Seminar Series provided by the Stanford Computer Forum.

Colloquium on Computer Systems Seminar Series (EE380) presents the current research in design, implementation, analysis, and use of computer systems. Topics range from integrated circuits to operating systems and programming languages. It is free and open to the public, with new lectures each week.

Learn more: http://bit.ly/WinYX5

Тэги:

#Stanford #Stanford_University #Seminar #ee380 #Jon_Purdy #Microsoft #Concatenative_Programming #Programming_Languages #compilers #virtual_machines #garbage_collectors #concatenative_languages #function_composition
Ссылки и html тэги не поддерживаются


Комментарии: