Log in
Sign up
See new Tweets

Conversation

Brendan Zabarauskas
@brendanzab
Today I learned why I can't elaborate let expressions into dependent records while preserving the full generality of let expressions, and now I am sad:
github.com
Allow dependencies between record term elements by brendanzab · Pull Request #230 · pikelet-lang/...
This allows the elements of record terms to depend on each other. For example, this expression is now valid: record { x = 1, y = x } : Record { x : S32, y : S32 } This has the helpful side-eff...
12:11 PM · Oct 10, 2020·Twitter Web App
6
Likes