Hello everyone, I have been reading this book [Functional Programming] Domain Modeling Made Functional (Pragprog) (F#) and liked it a lot. I am trying to mimic conditional type from F# to Elixir with the use of spec, type and dyalixir defmodule Ddd.OrderTaking do @type result :: :ok | :error @s…

Dialyzer will report errors only if they will always happen, not if they might happen. This is what the slogan “Dialyzer is never wrong” means in practice. It might be that you only call the function with values that cause a legal return - it doesn’t know, so it assumes that’s the case until it can…

Type and spec - Dialyzer not detecting error

Questions / Help

OvermindDL1 July 5, 2017, 2:40pm 10

Yeah I am quite the proponant of exceptional. It is such a great mix of monadic handling but in an entirely elixir and backwards-compatible way.

1 Like

Community Context Exercise/Learning Discussion

What's your approach to domain modelling?