Experience Report: Domain Modeling with F# (short talk) (ML 2021)

Sun 22 - Sat 28 August 2021

Track

ML 2021

Time Zone

The program is currently displayed in (GMT+09:00) Seoul.

Use conference time zone: (GMT+09:00) SeoulSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Fri 27 Aug 2021 02:00 - 02:15 at ML - Inference + Short talks Chair(s): Ohad Kammar

Abstract

I describe my experience using algebraic data types in F# for modeling and communication of domain concepts between a development team, domain experts, and other stakeholders. This experience was very successful, and I describe the reasons why F# is well suited for this.

File attachments

ML 21 Experience Report: Domain Modeling with F# (slides) (Experience Report - Domain Modeling with Fsharp.pdf)	1.31MiB
Experience Report: Domain Modeling with F# (ML2021 Experience Report - Domain Modeling with Fsharp - Final.pdf)	346KiB

ML 21 Experience Report: Domain Modeling with F#

Time Zone

The program is currently displayed in (GMT+09:00) Seoul.

Use conference time zone: (GMT+09:00) SeoulSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Fri 27 Aug
Displayed time zone: Seoul change

01:30 - 03:00	Inference + Short talks ML at ML Chair(s): Ohad Kammar University of Edinburgh

01:30 30m Talk		Frozen inference constraints for type-directed disambiguation ML Olivier Martinot INRIA, Gabriel Scherer INRIA Saclay Pre-print Media Attached
02:00 15m Talk		Experience Report: Domain Modeling with F# (short talk) ML Scott Wlaschin None Media Attached File Attached
02:15 15m Talk		Isomorphisms are back! (short talk) ML Clément Allain Inria, Gabriel Radanne Inria, Laure Gonnord University of Lyon & LIP, France File Attached
02:30 15m Talk		Sylvester: Unified, typed, notation for symbolic mathematics and proofs (short talk) ML Allister Beharry None Media Attached File Attached
02:45 15m Talk		A Data-centered User Study for jsCoq (short talk) ML Hanneli Tavante McGill University File Attached

Experience Report: Domain Modeling with F# (short talk)

Fri 27 Aug
Displayed time zone: Seoul change

Scott Wlaschin

None

Tracks

Workshops

Co-hosted Symposia

Experience Report: Domain Modeling with F# (short talk)

Program Display Configuration

Program Display Configuration

Fri 27 AugDisplayed time zone: Seoul change

Scott Wlaschin

None

Fri 27 Aug
Displayed time zone: Seoul change