72: TypeCheck with Wiebe-Marten Wijnja
Thinking Elixir Podcast
00:00
Is There Any Significant Performance Impact?
type checks are all nerated at compile time, which means that they can be fully optimized by both the elixir and erlang compilers. This is a big difference between type check and norm because in norm all the contracts,. are called there, are re evaluated every time you happen to call a function that contains a norm check in there. In many cases, it just gets inlined into your functions. So essentially this means that if your list, if you pass a list to your function, and it is twice as large, then presumably the code inside your function will also take twice as long to run. And the goal, and we're not entirely there yet, but tis this
Transcript
Play full episode
