Jeffery Olson, “System R­—A Practical Lambda Calculus Made for Extensibility in Rust”

Abstract: This will be a presentation on lambda calculi, their differing varieties and corresponding expressiveness, and a particular implementation: System R—a lambda calculus, written in Rust, built for extensibility and practical use cases.

Many programming languages (especially in the world of FP) we use today are implemented atop layers of academic theory modeled as lambda calculi. Advances over the last 9+ decades have given us a rich toolset with which to develop sophisticated systems suitable for everyday use.

Whether it’s Hindley-Milner, dependent types, linear types, or algebraic effects the academic literatures often communicate advances in computer science via a lambda calculus, often starting from a popularly-known base point, extended in novel ways appropriate to the domain.

System R is a lambda calculus implementation that enables the creation of more advanced calculi that translate-downward back into System R, which is intended to operate as a “bottom”-level bytecode. System R is itself a System F dialect (in the sense of TAPL et al). The base Kind & Type system include a rich set of primitive values (robust numerics, bytes, etc), and the Curry-Howard correspondence tells us it is a suitable bytecode-level substrate for converting to an infinite number of computing backends (wasm, Rust/C/Fortran/Forth, AOT, etc).

As mentioned above, the unifying concept for the above capabilities is that the entire toolchain is built for extensibility.

You can learn more at https://github.com/olsonjeffery/system_r

Bio: Jeffery Olson is currently a Staff Engineer at GMV Syncromatics in Houston, TX.  His path to programming passes through an early enthusiasm for Linux/FOSS software since the late 90s, a stint in the Army and a tech career starting in Seattle before moving to Houston in 2014. He began contributing to Rust in 2012, working mostly in the standard library, contributing initial versions of the network and filesystem APIs. His perspective is shaped by an interest in understanding the needs of, then solving real problems for, customers along with a lifelong curiosity for computing technology that has led him all over the map.

Claude Jager-Rubinson is inviting you to a scheduled Zoom meeting.

Topic: Houston Functional Programmers
Time: Jan 17, 2024 07:00 PM Central Time (US and Canada)
Every month on the Third Wed, until Nov 20, 2024, 11 occurrence(s)
Jan 17, 2024 07:00 PM
Feb 21, 2024 07:00 PM
Mar 20, 2024 07:00 PM
Apr 17, 2024 07:00 PM
May 15, 2024 07:00 PM
Jun 19, 2024 07:00 PM
Jul 17, 2024 07:00 PM
Aug 21, 2024 07:00 PM
Sep 18, 2024 07:00 PM
Oct 16, 2024 07:00 PM
Nov 20, 2024 07:00 PM
Please download and import the following iCalendar (.ics) files to your calendar system.
Monthly: https://uhd.zoom.us/meeting/tZcrceGuqTkoH9Lz2KOcwwZqYRmqgda4Bhi1/ics?icsToken=98tyKuGrqD0iHNOXshyBRpwqBI_oWe7wtnpBgvpxhk3OLCNEdTnnD9BPI7V7EYzy

Join Zoom Meeting
https://uhd.zoom.us/j/83668672256?pwd=Wld3QXhkczVMaktYYmJQUnp2aG5VZz09

Meeting ID: 836 6867 2256
Passcode: recursion

—

One tap mobile
+13462487799,,83668672256# US (Houston)
+12063379723,,83668672256# US (Seattle)

—

Dial by your location
• +1 346 248 7799 US (Houston)
• +1 206 337 9723 US (Seattle)
• +1 213 338 8477 US (Los Angeles)
• +1 253 215 8782 US (Tacoma)
• +1 602 753 0140 US (Phoenix)
• +1 669 219 2599 US (San Jose)
• +1 669 900 6833 US (San Jose)
• +1 720 928 9299 US (Denver)
• +1 971 247 1195 US (Portland)
• +1 470 381 2552 US (Atlanta)
• +1 646 518 9805 US (New York)
• +1 646 558 8656 US (New York)
• +1 651 372 8299 US (Minnesota)
• +1 786 635 1003 US (Miami)
• +1 267 831 0333 US (Philadelphia)
• +1 301 715 8592 US (Washington DC)
• +1 312 626 6799 US (Chicago)
• +1 470 250 9358 US (Atlanta)

Meeting ID: 836 6867 2256

Find your local number: https://uhd.zoom.us/u/khzdUKqt3

—

Join by SIP
• 83668672256@zoomcrc.com

—

Join by H.323
• 162.255.37.11 (US West)
• 162.255.36.11 (US East)
• 115.114.131.7 (India Mumbai)
• 115.114.115.7 (India Hyderabad)
• 213.19.144.110 (Amsterdam Netherlands)
• 213.244.140.110 (Germany)
• 103.122.166.55 (Australia Sydney)
• 103.122.167.55 (Australia Melbourne)
• 149.137.40.110 (Singapore)
• 64.211.144.160 (Brazil)
• 149.137.68.253 (Mexico)
• 69.174.57.160 (Canada Toronto)
• 65.39.152.160 (Canada Vancouver)
• 207.226.132.110 (Japan Tokyo)
• 149.137.24.110 (Japan Osaka)

Meeting ID: 836 6867 2256
Passcode: 416074723