Hey there folks,
A colleague asked me if there is a way to use an already defined type that is a map and add additional fields to it.
The following may suffice as an example:
Given the Template
@type person :: %{
last_name: String.t(),
first_name: String.t(),
birth_date: String.t()
}
he wants to use this type later on like this
@type buyer :: %{ person: person | address: String.t()}
The result would be an stricter contract.
I see that there are multiple problems with that approach as a change in the person contract would lead to unforeseen changes in other contract. So I am asking more for curiosity: Does TypeSpec support such structures?
