feature: record syntax ideas / scopedlabels

[mhuesch]

extensible records would be 🔥

we currently have product types, with Pair (2-tuples).

the approach outlined in this paper might lead to a nice mapping between underlying Rust structs (other data in Holochain) and types in the poly-rs language.

a possible sketch.
. would be a the field accessor syntax, in keeping with Lisp-y style.

((lam [r]
    (. r field_x))
 {[field_x 1]
  [field_y 2]
  opt_expr_for_record_to_extend})

misc related-ish links

https://gist.github.com/nikita-volkov/6977841
https://www.reddit.com/r/haskell/comments/1oicmu/anonymous_records_a_solution_to_the_problems_of/ (<- some criticism of the approach ⬆️)

maybe kinda related?
https://gist.github.com/Icelandjack/6b9745d30cc57900b51269942c3cd504

---

migrated from mhuesch/poly-rs#14.