{"id":11021,"date":"2022-09-25T21:05:59","date_gmt":"2022-09-25T15:35:59","guid":{"rendered":"https:\/\/jassweb.com\/solved\/solved-why-does-the-absence-of-an-else-block-translate-to-unit-type-return-for-a-function\/"},"modified":"2022-09-25T21:05:59","modified_gmt":"2022-09-25T15:35:59","slug":"solved-why-does-the-absence-of-an-else-block-translate-to-unit-type-return-for-a-function","status":"publish","type":"post","link":"https:\/\/jassweb.com\/solved\/solved-why-does-the-absence-of-an-else-block-translate-to-unit-type-return-for-a-function\/","title":{"rendered":"[Solved] Why does the absence of an else block translate to Unit type return for a function?"},"content":{"rendered":"

[ad_1]
\n<\/p>\n

\n
\n
<\/div>\n
\n
\n
\n

I can correct this by adding the else<\/code> clause, but how come if there is no outcome handled by default, the function tries to return a Unit<\/code>?<\/p>\n<\/blockquote>\n

In Scala, unlike more “imperative” languages, (almost) everything is an expression (there are very few statements), and every expression evaluates to a value (which also means that every method returns a value).<\/p>\n

This means that, for example, the conditional expression if (condition) consequence else differentConsequence<\/code> is an expression that evaluates to a value.<\/p>\n

For example, in this piece of code:<\/p>\n

val foo = if (someRandomCondition) 42 else \"Hello\"\n<\/code><\/pre>\n
the then<\/code> part of the expression will evaluate to 42<\/code>, the else<\/code> part of the expression will evaluate to \"Hello\"<\/code>, which means the if<\/code> expression as a whole will evaluate to either 42<\/code> or \"Hello\"<\/code>.<\/p>\n
So, what is the type of foo<\/code> going to be? Well, in the then<\/code> case, the value is of type Int<\/code> and in the else<\/code> case, the value is of type String<\/code>. But, this depends on the runtime value<\/em> of someRandomCondition<\/code>, which is unknown at compile time. So, the only choice we have as the type for the whole<\/em> if<\/code> expression is the lowest common ancestor (technically, the weak least upper bound<\/em><\/a>) of Int<\/code> and String<\/code>, which is Any<\/code>.<\/p>\n
In a language with union types, we could give it a more precise type, namely the union type Int | String<\/code>. (Scala 3 has union types<\/a>, so we could give the expression this exact type, although Scala 3 will not infer union types.) In Scala 3, we could even annotate it with the even more precise type 42 | \"Hello\"<\/code>, which is actually the type that TypeScript is going to infer for the equivalent conditional expression:<\/p>\n
const foo = someRandomCondition ? 42 : \"Hello\"\n<\/code><\/pre>\n
Now, let’s move forward towards the code in the question:<\/p>\n
val bar = if (someRandomCondition) 42\n<\/code><\/pre>\n
What is the type of bar<\/code> going to be? We said above that it is the lowest common ancestor of the types of the then<\/code> and else<\/code> branch, but \u2026\u00a0what is the type of the else<\/code> branch? What does the else<\/code> branch evaluate to?<\/p>\n
Remember, we said that every expression evaluates to a value<\/em>, so the else<\/code> branch must<\/em> evaluate to some value. It can’t just evaluate to “nothing”.<\/p>\n
This is solved by a so-called unit value<\/em> of a unit type<\/em>. The unit value and type are called the “unit” value and type, because the type is designed in such a way that it can only possibly be inhabited by a single value<\/em>. The unit type has no members, no properties, no fields, no semantics, no nothing. As such, it is impossible to distinguish two values of the unit type from one another, or put another way: there can only be one value of the unit type, because very other value of the unit type must<\/em> be identical.<\/p>\n
In many programming languages, the unit value and type use the same notation as a tuple value and type, and are simply identified with the empty tuple ()<\/code>. An empty tuple and a unit value are the same thing: they have no content, no meaning. In Haskell, for example, both the type and the value are written ()<\/code>.<\/p>\n
Scala also has a unit value, and it is also written ()<\/code>. The unit type, however, is scala.Unit<\/code>.<\/p>\n
So, the unit value, which is a useless value, is used to signify a meaningless return value.<\/p>\n
A related, but different concept in some imperative languages is the void<\/code> type (or in some languages, it is more a “pseudo-type”).<\/p>\n
Note that “returns nothing” is different from “doesn’t return”, which will become important in the second part of this answer.<\/p>\n
So the first half of the puzzle is: the Scala Language Specification says that <\/p>\n
if (condition) expression\n<\/code><\/pre>\n
is equivalent to <\/p>\n
if (condition) expression else ()\n<\/code><\/pre>\n
Which means that in the (implicit) else<\/code> case, the return type is Unit<\/code>, which is not compatible with List[(Int, Int)]<\/code>, and therefore, you get a type error.<\/p>\n
But why does throwing an exception fix this?<\/p>\n
This brings us to the second<\/em> special type: Nothing<\/code>. Nothing<\/code> is a so-called bottom type<\/em>, which means that it is a subtype of every type<\/em>. Nothing<\/code> does not<\/em> have any value. So, what then, would a return type of Nothing<\/code> signify?<\/p>\n
It signifies an expression that doesn’t return<\/em>. And I repeat what I said above: this is different<\/em> from returning nothing.<\/p>\n
A method that has only a side-effect returns nothing, but it does return<\/em>. Its return type is Unit<\/code> and its return value is ()<\/code>. It doesn’t have a meaningful<\/em> return value.
\nA method that has an infinite loop or throws an exception doesn’t return at all<\/em>. Its return type is Nothing<\/code> and it doesn’t have a return value<\/em>.<\/p>\n
And that is why throwing an exception in the else<\/code> clause fixes the problem: this means that the type of the else<\/code> clause is Nothing<\/code>, and since Nothing<\/code> is a subtype of every type<\/em>, it doesn’t even matter what<\/em> the type of the then<\/code> clause is, the lowest common supertype of the type of the then<\/code> clause and Nothing<\/code> will always<\/em> be the type of the then<\/code> clause. (Think about it: the lowest common ancestor of a father and any of his children, grandchildren, great-grandchildren, etc. will always be the father himself. The lowest common ancestor of T<\/code> and any subtype of T<\/code> will always be T<\/code>. Since Nothing<\/code> is a subtype of all types, the lowest common ancestor of T<\/code> and Nothing<\/code> will always be T<\/code> because Nothing<\/code> is always a subtype of T<\/code>, no matter what T<\/code> is.)<\/p>\n<\/p><\/div>\n
<\/div>\n<\/div>\n
            <\/span> <\/p><\/div>\n<\/div>\n
[ad_2]<\/p>\n
solved Why does the absence of an else block translate to Unit type return for a function? <\/p>\n","protected":false},"excerpt":{"rendered":"
[ad_1] I can correct this by adding the else clause, but how come if there is no outcome handled by default, the function tries to return a Unit? In Scala, unlike more “imperative” languages, (almost) everything is an expression (there are very few statements), and every expression evaluates to a value (which also means that … Read more<\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[320],"tags":[1206,494,802,3025],"class_list":["post-11021","post","type-post","status-publish","format-standard","hentry","category-solved","tag-functional-programming","tag-recursion","tag-scala","tag-tail-recursion"],"yoast_head":"\n[Solved] Why does the absence of an else block translate to Unit type return for a function? - JassWeb<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/jassweb.com\/solved\/solved-why-does-the-absence-of-an-else-block-translate-to-unit-type-return-for-a-function\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"[Solved] Why does the absence of an else block translate to Unit type return for a function? - JassWeb\" \/>\n<meta property=\"og:description\" content=\"[ad_1] I can correct this by adding the else clause, but how come if there is no outcome handled by default, the function tries to return a Unit? In Scala, unlike more “imperative” languages, (almost) everything is an expression (there are very few statements), and every expression evaluates to a value (which also means that ... Read more\" \/>\n<meta property=\"og:url\" content=\"https:\/\/jassweb.com\/solved\/solved-why-does-the-absence-of-an-else-block-translate-to-unit-type-return-for-a-function\/\" \/>\n<meta property=\"og:site_name\" content=\"JassWeb\" \/>\n<meta property=\"article:published_time\" content=\"2022-09-25T15:35:59+00:00\" \/>\n<meta name=\"author\" content=\"Kirat\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"Kirat\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"5 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\/\/jassweb.com\/solved\/solved-why-does-the-absence-of-an-else-block-translate-to-unit-type-return-for-a-function\/#article\",\"isPartOf\":{\"@id\":\"https:\/\/jassweb.com\/solved\/solved-why-does-the-absence-of-an-else-block-translate-to-unit-type-return-for-a-function\/\"},\"author\":{\"name\":\"Kirat\",\"@id\":\"https:\/\/jassweb.com\/solved\/#\/schema\/person\/65c9c7b7958150c0dc8371fa35dd7c31\"},\"headline\":\"[Solved] Why does the absence of an else block translate to Unit type return for a function?\",\"datePublished\":\"2022-09-25T15:35:59+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/jassweb.com\/solved\/solved-why-does-the-absence-of-an-else-block-translate-to-unit-type-return-for-a-function\/\"},\"wordCount\":872,\"publisher\":{\"@id\":\"https:\/\/jassweb.com\/solved\/#organization\"},\"keywords\":[\"functional-programming\",\"recursion\",\"scala\",\"tail-recursion\"],\"articleSection\":[\"Solved\"],\"inLanguage\":\"en-US\"},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/jassweb.com\/solved\/solved-why-does-the-absence-of-an-else-block-translate-to-unit-type-return-for-a-function\/\",\"url\":\"https:\/\/jassweb.com\/solved\/solved-why-does-the-absence-of-an-else-block-translate-to-unit-type-return-for-a-function\/\",\"name\":\"[Solved] Why does the absence of an else block translate to Unit type return for a function? - JassWeb\",\"isPartOf\":{\"@id\":\"https:\/\/jassweb.com\/solved\/#website\"},\"datePublished\":\"2022-09-25T15:35:59+00:00\",\"breadcrumb\":{\"@id\":\"https:\/\/jassweb.com\/solved\/solved-why-does-the-absence-of-an-else-block-translate-to-unit-type-return-for-a-function\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/jassweb.com\/solved\/solved-why-does-the-absence-of-an-else-block-translate-to-unit-type-return-for-a-function\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/jassweb.com\/solved\/solved-why-does-the-absence-of-an-else-block-translate-to-unit-type-return-for-a-function\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/jassweb.com\/solved\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"[Solved] Why does the absence of an else block translate to Unit type return for a function?\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/jassweb.com\/solved\/#website\",\"url\":\"https:\/\/jassweb.com\/solved\/\",\"name\":\"JassWeb\",\"description\":\"Build High-quality Websites\",\"publisher\":{\"@id\":\"https:\/\/jassweb.com\/solved\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/jassweb.com\/solved\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/jassweb.com\/solved\/#organization\",\"name\":\"Jass Web\",\"url\":\"https:\/\/jassweb.com\/solved\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/jassweb.com\/solved\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/jassweb.com\/wp-content\/uploads\/2021\/02\/jass-website-logo-1.png\",\"contentUrl\":\"https:\/\/jassweb.com\/wp-content\/uploads\/2021\/02\/jass-website-logo-1.png\",\"width\":693,\"height\":132,\"caption\":\"Jass Web\"},\"image\":{\"@id\":\"https:\/\/jassweb.com\/solved\/#\/schema\/logo\/image\/\"}},{\"@type\":\"Person\",\"@id\":\"https:\/\/jassweb.com\/solved\/#\/schema\/person\/65c9c7b7958150c0dc8371fa35dd7c31\",\"name\":\"Kirat\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/jassweb.com\/solved\/#\/schema\/person\/image\/\",\"url\":\"https:\/\/jassweb.com\/solved\/wp-content\/litespeed\/avatar\/1261af3c9451399fa1336d28b98ea3bb.jpg?ver=1775798750\",\"contentUrl\":\"https:\/\/jassweb.com\/solved\/wp-content\/litespeed\/avatar\/1261af3c9451399fa1336d28b98ea3bb.jpg?ver=1775798750\",\"caption\":\"Kirat\"},\"sameAs\":[\"http:\/\/jassweb.com\"],\"url\":\"https:\/\/jassweb.com\/solved\/author\/jaspritsinghghumangmail-com\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"[Solved] Why does the absence of an else block translate to Unit type return for a function? - JassWeb","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/jassweb.com\/solved\/solved-why-does-the-absence-of-an-else-block-translate-to-unit-type-return-for-a-function\/","og_locale":"en_US","og_type":"article","og_title":"[Solved] Why does the absence of an else block translate to Unit type return for a function? - JassWeb","og_description":"[ad_1] I can correct this by adding the else clause, but how come if there is no outcome handled by default, the function tries to return a Unit? In Scala, unlike more “imperative” languages, (almost) everything is an expression (there are very few statements), and every expression evaluates to a value (which also means that ... Read more","og_url":"https:\/\/jassweb.com\/solved\/solved-why-does-the-absence-of-an-else-block-translate-to-unit-type-return-for-a-function\/","og_site_name":"JassWeb","article_published_time":"2022-09-25T15:35:59+00:00","author":"Kirat","twitter_card":"summary_large_image","twitter_misc":{"Written by":"Kirat","Est. reading time":"5 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/jassweb.com\/solved\/solved-why-does-the-absence-of-an-else-block-translate-to-unit-type-return-for-a-function\/#article","isPartOf":{"@id":"https:\/\/jassweb.com\/solved\/solved-why-does-the-absence-of-an-else-block-translate-to-unit-type-return-for-a-function\/"},"author":{"name":"Kirat","@id":"https:\/\/jassweb.com\/solved\/#\/schema\/person\/65c9c7b7958150c0dc8371fa35dd7c31"},"headline":"[Solved] Why does the absence of an else block translate to Unit type return for a function?","datePublished":"2022-09-25T15:35:59+00:00","mainEntityOfPage":{"@id":"https:\/\/jassweb.com\/solved\/solved-why-does-the-absence-of-an-else-block-translate-to-unit-type-return-for-a-function\/"},"wordCount":872,"publisher":{"@id":"https:\/\/jassweb.com\/solved\/#organization"},"keywords":["functional-programming","recursion","scala","tail-recursion"],"articleSection":["Solved"],"inLanguage":"en-US"},{"@type":"WebPage","@id":"https:\/\/jassweb.com\/solved\/solved-why-does-the-absence-of-an-else-block-translate-to-unit-type-return-for-a-function\/","url":"https:\/\/jassweb.com\/solved\/solved-why-does-the-absence-of-an-else-block-translate-to-unit-type-return-for-a-function\/","name":"[Solved] Why does the absence of an else block translate to Unit type return for a function? - JassWeb","isPartOf":{"@id":"https:\/\/jassweb.com\/solved\/#website"},"datePublished":"2022-09-25T15:35:59+00:00","breadcrumb":{"@id":"https:\/\/jassweb.com\/solved\/solved-why-does-the-absence-of-an-else-block-translate-to-unit-type-return-for-a-function\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/jassweb.com\/solved\/solved-why-does-the-absence-of-an-else-block-translate-to-unit-type-return-for-a-function\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/jassweb.com\/solved\/solved-why-does-the-absence-of-an-else-block-translate-to-unit-type-return-for-a-function\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/jassweb.com\/solved\/"},{"@type":"ListItem","position":2,"name":"[Solved] Why does the absence of an else block translate to Unit type return for a function?"}]},{"@type":"WebSite","@id":"https:\/\/jassweb.com\/solved\/#website","url":"https:\/\/jassweb.com\/solved\/","name":"JassWeb","description":"Build High-quality Websites","publisher":{"@id":"https:\/\/jassweb.com\/solved\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/jassweb.com\/solved\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/jassweb.com\/solved\/#organization","name":"Jass Web","url":"https:\/\/jassweb.com\/solved\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/jassweb.com\/solved\/#\/schema\/logo\/image\/","url":"https:\/\/jassweb.com\/wp-content\/uploads\/2021\/02\/jass-website-logo-1.png","contentUrl":"https:\/\/jassweb.com\/wp-content\/uploads\/2021\/02\/jass-website-logo-1.png","width":693,"height":132,"caption":"Jass Web"},"image":{"@id":"https:\/\/jassweb.com\/solved\/#\/schema\/logo\/image\/"}},{"@type":"Person","@id":"https:\/\/jassweb.com\/solved\/#\/schema\/person\/65c9c7b7958150c0dc8371fa35dd7c31","name":"Kirat","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/jassweb.com\/solved\/#\/schema\/person\/image\/","url":"https:\/\/jassweb.com\/solved\/wp-content\/litespeed\/avatar\/1261af3c9451399fa1336d28b98ea3bb.jpg?ver=1775798750","contentUrl":"https:\/\/jassweb.com\/solved\/wp-content\/litespeed\/avatar\/1261af3c9451399fa1336d28b98ea3bb.jpg?ver=1775798750","caption":"Kirat"},"sameAs":["http:\/\/jassweb.com"],"url":"https:\/\/jassweb.com\/solved\/author\/jaspritsinghghumangmail-com\/"}]}},"_links":{"self":[{"href":"https:\/\/jassweb.com\/solved\/wp-json\/wp\/v2\/posts\/11021","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/jassweb.com\/solved\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/jassweb.com\/solved\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/jassweb.com\/solved\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/jassweb.com\/solved\/wp-json\/wp\/v2\/comments?post=11021"}],"version-history":[{"count":0,"href":"https:\/\/jassweb.com\/solved\/wp-json\/wp\/v2\/posts\/11021\/revisions"}],"wp:attachment":[{"href":"https:\/\/jassweb.com\/solved\/wp-json\/wp\/v2\/media?parent=11021"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/jassweb.com\/solved\/wp-json\/wp\/v2\/categories?post=11021"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/jassweb.com\/solved\/wp-json\/wp\/v2\/tags?post=11021"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}