Re:Railway-Oriented Programming (2015)
by amelius on Monday June 18, 2018 @09:00AM
(#17337862)
Yes, I understand. But by "implicitly" I really meant that. You don't see the type, only the compiler does. The programmer only sees the non-error part of the type (the "Right" part of Either).
[ Parent
| on HN ]
Re:Railway-Oriented Programming (2015)
by jjaredsimpson on Monday June 18, 2018 @01:50PM
(#17340177)
How could this work? I specify an interface to an api.
C Foo(A a) = ...
Someone then provides me with some not-A error value. What should I do? What do you mean by implicit.