- This event has passed.
Adam Gordon Bell, “Functional Programming is Undefined”
October 21, 2020 @ 7:00 pm - 9:00 pm CDT
Functional Python Programming and Verified Functional Programming in Agda are both books teaching functional programming. Yet the books are about very different things. How can this be? Over the course of 58 interviews, Adam Gordon Bell has interviewed many experts on software development. These include programming language creators, high-performance computing experts, and functional programming gurus. In this session, Adam will share some behind-the-scenes information about the podcast and a collection of insights he has learned from his guests. One of these insights is that functional programming, as a term, is undefined.
Adam is a software engineer and an open-source advocate. He is currently working on the open-source build tool earthly (http://earthly.dev/) . He is the host of the popular software development podcast Corecursive (http://corecursive.com/).
Claude Rubinson is inviting you to a scheduled Zoom meeting.
Topic: Houston Functional Programmers
Time: Oct 21, 2020 07:00 PM Central Time (US and Canada)
Join Zoom Meeting
https://uhd.zoom.us/j/92418319025?pwd=S2lNcVdxeHlWc2VYMWgxcGFyUlAyZz09
Meeting ID: 924 1831 9025
Passcode: recursion
One tap mobile
+13462487799,,92418319025# US (Houston)
+16699006833,,92418319025# US (San Jose)
Dial by your location
+1 346 248 7799 US (Houston)
+1 669 900 6833 US (San Jose)
+1 253 215 8782 US (Tacoma)
+1 312 626 6799 US (Chicago)
+1 646 558 8656 US (New York)
+1 301 715 8592 US (Germantown)
Meeting ID: 924 1831 9025
Find your local number: https://uhd.zoom.us/u/aOWPIJSAO
Join by SIP
92418319025@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)
149.137.40.110 (Singapore)
64.211.144.160 (Brazil)
69.174.57.160 (Canada)
207.226.132.110 (Japan)
Meeting ID: 924 1831 9025
Passcode: 858932597
Join by Skype for Business
https://uhd.zoom.us/skype/92418319025