271 reputation
25
bio website
location Amsterdam, The Netherlands
age 35
visits member for 4 years, 2 months
seen 4 hours ago

I am the lead developer at ZoomBIM, primarily working on the WEM enterprise Modeler, a development platform for web applications.


May
20
comment When should I use C#'s implicit type conversion operator?
@cdkMoose On the other hand, the first property just states that two values within the same equivalence class of T1 (implied by the == relation on T1) always map to two values within the same equivalence class of T2. Now that I think about it, I guess the first property actually should be required for an implicit conversion.
May
20
comment When should I use C#'s implicit type conversion operator?
@cdkMoose You are right of course, and that's why I see these properties more as "bonus points", not rules. The second property simply means that the conversion function is injective. This is often the case when you convert to a type that has a strictly larger range, e.g. from int32 to int64.
May
20
awarded  Yearling
May
20
comment When should I use C#'s implicit type conversion operator?
Yeah I realized that :-). I couldn't think of a better term for "lossy". What I meant by "lossy" are conversions where the range or precision is substantially reduced. E.g. from float64 to float32 or from long to int.
May
19
answered When should I use C#'s implicit type conversion operator?
Feb
12
awarded  Autobiographer
Jun
19
answered Draw a checkerboard in Java
Jun
19
comment Draw a checkerboard in Java
Are you sure you want to use <= in the for loops? Wouldn't this create a 9x9 board instead of an 8x8 board?
Feb
26
awarded  Caucus
Dec
1
awarded  Editor
Dec
1
revised How to check if 4 points form a square?
edited body
Nov
29
answered How to check if 4 points form a square?
Feb
13
awarded  Teacher
Feb
13
answered What are the most known arbitrary precision arithmetic implementation approaches?
Dec
19
comment Is there a subset of programs that avoid the halting problem
I believe SQL92 and Regular Expressions are examples of languages that are guaranteed to halt.
Jul
24
awarded  Enthusiast
Mar
26
awarded  Supporter