Reputation
369
Top tag
Next privilege 500 Rep.
Access review queues
Badges
3 13
Impact
~6k people reached

  • 0 posts edited
  • 0 helpful flags
  • 21 votes cast
Jul
26
comment Haskell syntax for type definitions: why the equality sign?
I have realised that if instead of =, the type definition was using ::=, it would look like a rule of a grammar definition in Backus–Naur Form, where type constructors are like expression variables (nonterminal symbols), and value constructors are like literal characters (terminal symbols).
Mar
15
revised In Scheme, what is formally a program's state?
add another relevant part from Racket reference (about `set!`)
Mar
15
revised In Scheme, what is formally a program's state?
emphasize an important sentence with boldface
Mar
15
revised In Scheme, what is formally a program's state?
add another relevant quote from Racket reference
Dec
1
awarded  Nice Question
Sep
24
awarded  Autobiographer
Aug
11
awarded  Nice Question
Jul
30
revised Haskell syntax for type definitions: why the equality sign?
clarify the title a bit
Jul
29
accepted Haskell syntax for type definitions: why the equality sign?
Jul
29
asked Haskell syntax for type definitions: why the equality sign?
Jul
2
awarded  Curious
Feb
12
comment A pattern to “atomically” update a pair of objects
Probably instead of Account there should be Bank, as there are much fewer banks than accounts. Then each bank would have to manage its accounts.
Feb
12
comment A pattern to “atomically” update a pair of objects
This is just a general idea, this exact code would not be very efficient, i suppose.
Feb
12
revised A pattern to “atomically” update a pair of objects
reformat
Feb
12
answered A pattern to “atomically” update a pair of objects
Jan
27
comment A pattern to “atomically” update a pair of objects
@Kaerber, but the Updates defined in Transaction can only modify Accounts through their public methods, so what public methods would the Accounts have?
Jan
27
revised A pattern to “atomically” update a pair of objects
improve Ruby example
Jan
27
comment A pattern to “atomically” update a pair of objects
Which methods would be exposed as public? How a method sent to one Account can change another Account?
Jan
27
comment A pattern to “atomically” update a pair of objects
Could you tell please how and where UpdateSource and UpdateDestiantion are defined?
Jan
27
revised A pattern to “atomically” update a pair of objects
slightly change my example