Gabriel Gonzalez, “Dhall: A Programmable Configuration Language”

Dhall is a domain-specific language for enriching configuration files with programming features like types, functions, and imports. The built-in language security features (such as strong normalization, integrity checks, and restricted side effects) distinguishes Dhall from other programmable configuration languages. The talk will begin by showing how to use Dhall as plain configuration file format in a manner similar to JSON and then slowly introduce programming language features to improve maintainability. Afterwards the talk will highlight the language security guarantees by demonstrating how to create a server that can safely interpret untrusted Dhall client code server-side.

Bio: Gabriel is a Haskell evangelist who believes that total functional programming is the future of software engineering.  He’s most well-known for his blog (haskellforall.com) and for originally authoring Dhall.

Location:  This will be a hybrid meeting. (Our first! So please expect glitches 🙂 ) You may join us virtually or in-person at Improving.  Zoom info and location info for Improving are below.

Please know that we are not requiring masks, and plan accordingly.  However you join us, we look forward to seeing you.

Claude Rubinson is inviting you to a scheduled Zoom meeting.

Topic: Houston Functional Programmers
Time: Jun 16, 2021 07:00 PM Central Time (US and Canada)

Join Zoom Meeting
https://uhd.zoom.us/j/98197229942?pwd=K0xCQVNLdmhvb1lTVmRqT2czb3cvdz09

Meeting ID: 981 9722 9942
Passcode: recursion
One tap mobile
+13462487799,,98197229942# US (Houston)
+12532158782,,98197229942# US (Tacoma)

Dial by your location
+1 346 248 7799 US (Houston)
+1 253 215 8782 US (Tacoma)
+1 669 900 6833 US (San Jose)
+1 312 626 6799 US (Chicago)
+1 646 558 8656 US (New York)
+1 301 715 8592 US (Washington DC)
Meeting ID: 981 9722 9942
Find your local number: https://uhd.zoom.us/u/aex5ISIQ3b

Join by SIP
98197229942@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)
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: 981 9722 9942
Passcode: 076472736

Join by Skype for Business
https://uhd.zoom.us/skype/98197229942