Исправление AndreyKl, (текущая версия) :
просто небольшое пояснение:
вот такой (условно)код не скомпиляется
xs = True ::: 'a' ::: "String" ::: HNil
length (hhead xs)
length
от булевского значения True
xs = True ::: 'a' ::: "Hello" ::: HNil
length (hhead (htail (htail xs)))
"Hello"
для чего собственно length
и предназначен.Исправление AndreyKl, :
просто небольшое пояснение:
вот такой код не скомпиляется
xs = True ::: 'a' ::: "String" ::: HNil
length (hhead xs)
length
от булевского значения True
xs = True ::: 'a' ::: "Hello" ::: HNil
length (hhead (htail (htail xs)))
"Hello"
для чего собственно length
и предназначен.Исходная версия AndreyKl, :
просто небольшое пояснение:
вот такой код не скомпиляется
xs = True ::: 'a' ::: "String" ::: HNil
length (hhead xs)
length
от булевского значения Truexs = True ::: 'a' ::: "Hello" ::: HNil
length (hhead (htail (htail xs)))
length
и предназначен.