Richard Feldman, “The Functional Purity Inference Plan”

Abstract: It’s common for imperative programming languages to announce that they’re adding some new features to support a functional style of programming in that language. The FP experience in those languages is never quite as smooth as it is in functional-first languages, but it’s still appreciated when that’s the style of code you want to write.

The Roc programming language, which has historically been a purely functional programming language, is planning to add some new features to support an imperative style of programming. The imperative experience in Roc will never quite be as smooth as it is in imperative-first languages, but there are some situations when an imperative style genuinely seems like the best fit for the problem at hand.

Some of the new features are familiar – a `return` statement, `for` loops, and opt-in reassignable variables – but the headline feature is “Purity Inference.” With Purity Inference, functions can be either pure or effectful, and the type system tracks which is which so you never have to guess. Both styles of function are called the same way, so there’s no IO/Promise/Future/Task wrapper. But that’s not all…for the full plan, you’ll have to see the talk!

Bio: Richard is the creator of the Roc functional programming language, the author of Elm in Action from Manning Publications, and the instructor for several Frontend Masters workshops: Introduction to Elm, Advanced Elm, and Introduction to Rust. He currently works at https://zed.dev on the open-source Zed code editor.

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