72: TypeCheck with Wiebe-Marten Wijnja
Thinking Elixir Podcast
00:00
Do You Have a Run Time Type Check?
i presume, makros, and you'll have to let us know what's going on. If you see the at speck where you're writing like a type speck, or like a function signature, or some like that, it looks like you would expect to be the normal speck declarations that dialyzer will use. But you have a speck with a bang. Yes indeed. The idea is that people can just use the normal syntax that they are already used to from writing normal elixir specks, and just add this bang, and then it magically works. What is going on behind the scenes is that we indeed take this speck as an abstract syntextry
Transcript
Play full episode
