The Author Online Book Forums are Moving

The Author Online Book Forums will soon redirect to Manning's liveBook and liveVideo. All book forum content will migrate to liveBook's discussion forum and all video forum content will migrate to liveVideo. Log in to liveBook or liveVideo with your Manning credentials to join the discussion!

Thank you for your engagement in the AoF over the years! We look forward to offering you a more enhanced forum experience.

Andre Dublin (4) [Avatar] Offline
In your second point about type level functions, I don't understand what you mean when you say

Therefore, to ensure that type checking
itself terminates, functions which are not total are treated as
constants at the type level, and do not evaluate further.

Particularly does a function treated as a constant mean that it cannot represent multiple types e.g. Bool (True/False), if we were to only define the case for True.

Coming from OOP seeing the word constant in there threw me off.
Edwin Brady (66) [Avatar] Offline
The word 'constant' here really means that it won't reduce at the type level - maybe it's not the best word to use here, and it'd be better just to explain that more precisely.