Data deconstruction in let #194

New Issue

2019-12-09T21:18:05+09:00

zxq9 commented

2019-12-09 21:18:05 +09:00

(Migrated from gitlab.com)

Created by: UlfNorell

From the Sophia discussion at the Sofia workshop.

For instance,

  let x :: xs = ys
  let (x, y) = pt
  let Some(x) = Map.lookup(k, m)

*Created by: UlfNorell* *From the Sophia discussion at the Sofia workshop.* For instance, ``` let x :: xs = ys let (x, y) = pt let Some(x) = Map.lookup(k, m) ```

zxq9 commented

2019-12-11 08:41:00 +09:00

(Migrated from gitlab.com)

Created by: nikita-fuchs

this one would be very handy indeed.

*Created by: nikita-fuchs* this one would be very handy indeed.

zxq9 commented

2019-12-11 15:28:48 +09:00

(Migrated from gitlab.com)

Created by: UlfNorell

Preliminary implementation in #206

*Created by: UlfNorell* Preliminary implementation in #206

Sign in to join this conversation.

1 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: QPQ-AG/sophia#194