Reputation
227
Next privilege 250 Rep.
View close votes
Badges
1 10
Newest
 Yearling
Impact
~3k people reached

  • 0 posts edited
  • 0 helpful flags
  • 13 votes cast
Mar
7
reviewed Approve What makes design by contract a tool?
Mar
7
revised What makes design by contract a tool?
added 6 characters in body
Mar
7
asked What makes design by contract a tool?
Dec
5
awarded  Yearling
Mar
27
awarded  Nice Question
Jan
13
awarded  Popular Question
Nov
18
comment What do I use for a variant in a UML class diagram?
I use TypeScript, F# and Haskell. But the question can be extended to any language that supports algebraic data types
Nov
18
comment What do I use for a variant in a UML class diagram?
which means there should be a special notation in UML reserved for it, just like for a class or an interface, I just wasn't able to find it
Nov
18
comment What do I use for a variant in a UML class diagram?
using a tag and a value is just a design pattern that gives you something that works like a variant, in languages that natively support it there is no need in knowing how a variant is internally implemented, a variant is a first class citizen with its own distinct syntax that cannot be expressed using other constructs like classes, structures, etc
Nov
18
comment What do I use for a variant in a UML class diagram?
@xmojmr, are you asking for an example of a variant? here it is in F# flavor: type Option<'a> = | Some of 'a| None, in haskell flavor: data Maybe a = Nothing | Just a. I am sorry if the notion of a variant is unfamiliar to you. What else is unclear? Do you need an example of a class?
Nov
18
awarded  Commentator
Nov
18
comment What do I use for a variant in a UML class diagram?
Good catch, yes a class diagram (updated)
Nov
18
revised What do I use for a variant in a UML class diagram?
added 19 characters in body; edited title
Nov
18
comment What do I use for a variant in a UML class diagram?
It's going to be such a shame if it doesn't.
Nov
18
revised What do I use for a variant in a UML class diagram?
edited title
Nov
18
asked What do I use for a variant in a UML class diagram?
Oct
19
awarded  Autobiographer
Sep
28
comment Is there a way to define a consistent date in a dependent type language?
@MichaelGrünewald That's an epic text. Thank you!
Sep
28
asked Is there a way to define a consistent date in a dependent type language?
May
6
awarded  Critic