Domain Modeling Made Functional – Scott Wlaschin

[alerya]

Scott Wlaschin is a god tier teacher !

[PaulSebastianM]

I think it's ironical that OO was invented to properly model domains and the real world and has been the main approach for doing that for decades, yet FP has been doing a better job of this for equally the same amount of time, but almost nobody uses it.

[SeanJung-rxvo]

I applied a valid type by referring to the video. The code has become more readable. thank you

[MarcGarcia-ir]

He's assuming that the only way to get a VerifiedEmail should be through a VerificationService that does the actual verification, because the domain expert said so.
But most of the time, you are going to need to get a VerifiedEmail instance just because the database says so, or the JSON you got from a web service says so.

If you have secured your code to specifically deny access to any other way of getting a verified email (to prevent "errors")... what are you gonna do?

[betopolione.laura.gil.]

man, I am from OO world, but I found very awesome insights in this talk. Thank you so much. I have a honest question, about using wrappers to model concepts and using that instead of primitive types and enforce domain rules. Can I say that this is the same as ValueObjects from the OO world? Or maybe the Layer Super Type pattern (Fowler)? It seems very similar to me. If any one from functional worlds can answer that, I would appreciate.

[clamato]

As a fellow gray hair, he gives me hope for a new career in programming.

[ryanhewitt]

There are not enough comments here - this was a well put together presentation! My question is: Can I use this technique in a Lisp-like language? I like the idea of thinking with algebraic types in order to get a birds' eye view, and wonder if I can apply this sort of thinking to languages lacking algebraic union types and compilers.