@dside в хаскеле есть undefined :)
Это тогда нужно в сторону каких-нибудь тотальных языков смотреть. Какой-нибудь Idris.
@misimacat
@iliazeus технически… да, наверное. О популярных проектах на таких языках я даже не слышал, не говоря уже об использовании.
Gregory's Server
@iliazeus технически… да, наверное. О популярных проектах на таких языках я даже не слышал, не говоря уже об использовании.
@misimacat