https://terbium-lilac.vercel.app/_next/static/chunks/pages/guide/fundamentals/control-abe2ea14f352a6f5.js

1(self.webpackChunk_N_E=self.webpackChunk_N_E||[]).push([[739],{8834:function(e,s,l){(window.__NEXT_P=window.__NEXT_P||[]).push(["/guide/fundamentals/control",function(){return l(2034)}])},3965:function(e,s,l){"use strict";l.d(s,{Z:function(){return p}});var n=l(5893),a=l(1163),t=l(2010),c=l(9833),r=l(5675),o=l.n(r),i={src:"/_next/static/media/dark_banner.802d0c68.svg",height:256,width:1024,blurWidth:0,blurHeight:0},d={src:"/_next/static/media/light_banner.a481e7cd.svg",height:256,width:1024,blurWidth:0,blurHeight:0},h=l(7294);let x={project:{link:"https://github.com/terbium-lang/terbium"},docsRepositoryBase:"https://github.com/terbium-lang/website/blob/main",useNextSeoProps(){let{asPath:e}=(0,a.useRouter)();if("/"!==e)return{titleTemplate:"%s – Terbium"}},logo:()=>{let e=(0,t.F)(),[s,l]=(0,h.useState)();return(0,h.useEffect)(()=>l(e.resolvedTheme),[e]),(0,n.jsx)("span",{children:(0,n.jsx)(o(),{src:"dark"==s?d:i,alt:"Terbium",height:32})})},head:function(){let{title:e}=(0,c.ZR)(),{route:s}=(0,a.useRouter)(),l="/"!==s&&e?"https://nextra.site/api/og?title=".concat(e):"https://nextra.site/og.jpeg";return(0,n.jsxs)(n.Fragment,{children:[(0,n.jsx)("meta",{name:"msapplication-TileColor",content:"#0586ff"}),(0,n.jsx)("meta",{name:"theme-color",content:"#0586ff"}),(0,n.jsx)("meta",{name:"viewport",content:"width=device-width, initial-scale=1.0"}),(0,n.jsx)("meta",{httpEquiv:"Content-Language",content:"en"}),(0,n.jsx)("meta",{name:"description",content:"A high-level language that doesn't compromise in performance."}),(0,n.jsx)("meta",{name:"og:description",content:"A high-level language that doesn't compromise in performance."}),(0,n.jsx)("meta",{name:"twitter:card",content:"summary_large_image"}),(0,n.jsx)("meta",{name:"twitter:image",content:l}),(0,n.jsx)("meta",{name:"twitter:site:domain",content:"terbium.dev"}),(0,n.jsx)("meta",{name:"twitter:url",content:"https://terbium.dev"}),(0,n.jsx)("meta",{name:"og:title",content:e?e+" – Terbium":"Terbium"}),(0,n.jsx)("meta",{name:"og:image",content:l}),(0,n.jsx)("meta",{name:"apple-mobile-web-app-title",content:"Terbium"}),(0,n.jsx)("link",{rel:"icon",href:"/assets/favicon.ico"})]})},editLink:{text:"Edit this page on GitHub →"},feedback:{content:"Question? Give us feedback →",labels:"feedback"},sidebar:{titleComponent(e){let{title:s,type:l}=e;return"separator"===l?(0,n.jsx)("span",{className:"cursor-default",children:s}):(0,n.jsx)(n.Fragment,{children:s})},defaultMenuCollapseLevel:1,toggleButton:!0},footer:{text:(0,n.jsx)("div",{className:"flex w-full flex-col items-center sm:items-start",children:(0,n.jsxs)("p",{className:"mt-6 text-xs",children:["\xa9 ",new Date().getFullYear()," jay3332 and other maintainers of Terbium."]})})}};var p=x},2034:function(e,s,l){"use strict";l.r(s),l.d(s,{__toc:function(){return i}});var n=l(5893),a=l(2673),t=l(9833),c=l(3965);l(8594),l(9966);var r=l(2643),o=l(1282);let i=[{depth:2,value:"Conditionals",id:"conditionals"},{depth:3,value:"What are conditions?",id:"what-are-conditions"},{depth:3,value:"The if statement",id:"the-if-statement"},{depth:3,value:"The else block",id:"the-else-block"},{depth:3,value:"The else if block",id:"the-else-if-block"},{depth:3,value:"Logical Operators",id:"logical-operators"},{depth:4,value:"De Morgan's Laws",id:"de-morgans-laws"},{depth:4,value:"Short-Circuit Evaluation",id:"short-circuit-evaluation"},{depth:4,value:"Booleans vs. Truthy values",id:"booleans-vs-truthy-values"},{depth:3,value:"If-statements as expressions",id:"if-statements-as-expressions"},{depth:4,value:"Type convergence",id:"type-convergence"},{depth:2,value:"Loops",id:"loops"},{depth:3,value:"The break statement",id:"the-break-statement"},{depth:3,value:"The continue statement",id:"the-continue-statement"},{depth:3,value:"While-loops",id:"while-loops"}];function d(e){let s=Object.assign({h1:"h1",p:"p",em:"em",h2:"h2",h3:"h3",span:"span",code:"code",pre:"pre",ul:"ul",li:"li",h4:"h4"},(0,r.a)(),e.components);return(0,n.jsxs)(n.Fragment,{children:[(0,n.jsx)(s.h1,{children:"Control Flow"}),"\n",(0,n.jsxs)(s.p,{children:["Control flow is a term used to describe features and constructs that allow you to control the flow of execution of your\ncode. The most common types of control flow constructs are ",(0,n.jsx)(s.em,{children:"conditionals"})," and ",(0,n.jsx)(s.em,{children:"loops"}),"."]}),"\n",(0,n.jsx)(s.h2,{id:"conditionals",children:"Conditionals"}),"\n",(0,n.jsxs)(s.p,{children:["Conditionals allow you to execute code based on the result of a boolean expression ","—"," to run code based on\nwhether a certain ",(0,n.jsx)(s.em,{children:"condition"})," is met."]}

1),"\n",(0,n.jsx)(s.h3,{id:"what-are-conditions",children:"What are conditions?"}),"\n",(0,n.jsxs)(s.p,{children:["A ",(0,n.jsx)(s.em,{children:"condition"})," is a boolean expression that evaluates to either ",(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"true"})})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#5946E5"},children:"true"})})})]})," or ",(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"false"})})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#5946E5"},children:"false"})})})]}),". It represents whether a\ncertain truth is true. For example, ",(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"5"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:">"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"0"})]})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#5946E5"},children:"5"}),(0,n.jsx)(s.span,{style:{color:"#404859"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#DF2A69",fontWeight:"bold"},children:">"}),(0,n.jsx)(s.span,{style:{color:"#404859"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#5946E5"},children:"0"})]})})]}),' is a condition that asks "is 5 greater than 0?". If the answer is\nyes, the condition is ',(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"true"})})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#5946E5"},children:"true"})})})]}),". If the answer is no, the condition is ",(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"false"})})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#5946E5"},children:"false"})})})]}),"."]}),"\n",(0,n.jsxs)(s.h3,{id:"the-if-statement",children:["The ",(0,n.jsx)(s.code,{children:"if"})," statement"]}),"\n",(0,n.jsxs)(s.p,{children:["The ",(0,n.jsx)(s.em,{children:"if-statement"})," is the most basic conditional statement. It executes a block of code if a specified condition is\n",(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"true"})})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#5946E5"},children:"true"})})})]}),". The general syntax of an if statement is:"]}),"\n",(0,n.jsx)(s.pre,{"data-language":"tb","data-theme":"dark",hasCopyCode:!0,children:(0,n.jsxs)(s.code,{"data-language":"tb","data-theme":"dark",children:[(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"if"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"CONDITION"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" {"})]}),"\n",(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"    "}),(0,n.jsx)(s.span,{style:{color:"#6B6B6B",fontStyle:"italic"},children:"// code to execute if the condition is true"})]}),"\n",(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"}"})})]})}),"\n",(0,n.jsx)(s.p,{children:"Here is an example that demonstrates the use of an if statement:"}),"\n",(0,n.jsx)(s.pre,{"data-language":"tb","data-theme":"dark",hasCopyCode:!0,children:(0,n.jsxs)(s.code,{"data-language":"tb","data-theme":"dark",children:[(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"let"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"x"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" = "}),(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"5"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:";"})]}),"\n",(0,n.jsx)(s.span,{className:"line",children:" "}),"\n",(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"if"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"x"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:">"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"0"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" {"})]}),"\n",(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"    "}),(0,n.jsx)(s.span,{style:{color:"#12BCD3"},children:"println"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"("}),(0,n.jsx)(s.span,{style:{color:"#13BE76"},children:'"x is positive"'}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:");"})]}),"\n",(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"}"})})]})}),"\n",(0,n.jsxs)(s.p,{children:["In this example, the condition is ",(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"x"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:">"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"0"})]})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#B16B16"},children:"x"}),(0,n.jsx)(s.span,{style:{color:"#404859"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#DF2A69",fontWeight:"bold"},children:">"}),(0,n.jsx)(s.span,{style:{color:"#404859"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#5946E5"},children:"0"})]})})]}),". If this condition is true, the code inside the block will be executed.\nIn this case, ",(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"x"})})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#B16B16"},children:"x"})})})]})," is ",(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"5"})})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#5946E5"},children:"5"})})})]}),", which is greater than ",(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"0"})})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#5946E5"},children:"0"})})})]}),", so the code inside the block will be executed."]}),"\n",(0,n.jsxs)(s.h3,{id:"the-else-block",children:["The ",(0,n.jsx)(s.code,{children:"else"})," block"]}),"\n",(0,n.jsxs)(s.p,{children:["You can optionally attach an ",(0,n.jsxs)(s.em,{children:[(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"else"})})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#DF2A69",fontWeight:"bold"},children:"else"})})})]}),"-block"]})," to an if-statement to make it execute a different block of code if the\ncondition is ",(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"false"})})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#5946E5"},children:"false"})})})]}),". The else statement does not have a condition to check.\nThe general syntax of an if statement with an else block is:"]}),"\n",(0,n.jsx)(s.pre,{"data-language":"tb","data-theme":"dark",hasCopyCode:!0,children:(0,n.jsxs)(s.code,{"data-language":"tb","data-theme":"dark",children:[(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"if"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"CONDITION"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" {"})]}),"\n",(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"    "}),(0,n.jsx)(s.span,{style:{color:"#6B6B6B",fontStyle:"italic"},children:"// code to execute if the condition is true"})]}),"\n",(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"} "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"else"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" {"})]}),"\n",(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"    "}),(0,n.jsx)(s.span,{style:{color:"#6B6B6B",fontStyle:"italic"},children:"// code to execute if the condition is false"})]}),"\n",(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"}"})})]})}),"\n",(0,n.jsx)(s.p,{children:"Here is an example that demonstrates the use of an if statement with an else block:"}),"\n",(0,n.jsx)(s.pre,{"data-language":"tb","data-theme":"dark",hasCopyCode:!0,children:(0,n.jsxs)(s.code,{"data-language":"tb","data-theme":"dark",children:[(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"let"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"x"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" = "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"-"}),(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"5"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:";"})]}),"\n",(0,n.jsx)(s.span,{className:"line",children:" "}),"\n",(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"if"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"x"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:">"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"0"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" {"})]}),"\n",(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"    "}),(0,n.jsx)(s.span,{style:{color:"#12BCD3"},children:"println"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"("}),(0,n.jsx)(s.span,{style:{color:"#13BE76"},children:'"x is positive"'}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:");"})]}),"\n",(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"} "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"else"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" {"})]}),"\n",(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"    "}),(0,n.jsx)(s.span,{style:{color:"#12BCD3"},children:"println"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"("}),(0,n.jsx)(s.span,{style:{color:"#13BE76"},children:'"x is negative"'}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:");"})]}),"\n",(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"}"})})]})}),"\n",(0,n.jsxs)(s.p,{children:["This example would print ",(0,n.jsx)(s.code,{children:"x is negative"}

1)," because ",(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"x"})})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#B16B16"},children:"x"})})})]})," is ",(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"-"}),(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"5"})]})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#DF2A69",fontWeight:"bold"},children:"-"}),(0,n.jsx)(s.span,{style:{color:"#5946E5"},children:"5"})]})})]}),", which is not greater than ",(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"0"})})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#5946E5"},children:"0"})})})]}),"."]}),"\n",(0,n.jsxs)(s.h3,{id:"the-else-if-block",children:["The ",(0,n.jsx)(s.code,{children:"else if"})," block"]}),"\n",(0,n.jsxs)(s.p,{children:["You can optionally attach an ",(0,n.jsxs)(s.em,{children:[(0,n.jsx)(s.code,{children:"else if"}),"-blocks"]})," in an if-statement. An ",(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"else"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"if"})]})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#DF2A69",fontWeight:"bold"},children:"else"}),(0,n.jsx)(s.span,{style:{color:"#404859"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#DF2A69",fontWeight:"bold"},children:"if"})]})})]})," statement to specify additional\nconditions to be checked if the previous conditions in the if statement are ",(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"false"})})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#5946E5"},children:"false"})})})]}),".\nIt allows you to chain multiple conditions together. The general syntax of an else if statement is:"]}),"\n",(0,n.jsx)(s.pre,{"data-language":"tb","data-theme":"dark",hasCopyCode:!0,children:(0,n.jsxs)(s.code,{"data-language":"tb","data-theme":"dark",children:[(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"if"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"FIRST_CONDITION"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" {"})]}),"\n",(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"    "}),(0,n.jsx)(s.span,{style:{color:"#6B6B6B",fontStyle:"italic"},children:"// code to execute if the first condition is true"})]}),"\n",(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"} "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"else"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"if"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"}

1,children:"SECOND_CONDITION"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" {"})]}),"\n",(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"    "}),(0,n.jsx)(s.span,{style:{color:"#6B6B6B",fontStyle:"italic"},children:"// code to execute if the second condition is true and the first condition is false"})]}),"\n",(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"} "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"else"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" {"})]}),"\n",(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"    "}),(0,n.jsx)(s.span,{style:{color:"#6B6B6B",fontStyle:"italic"},children:"// code to execute if all conditions are false"})]}),"\n",(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"}"})})]})}),"\n",(0,n.jsxs)(s.p,{children:["Here is the previous example, but with an ",(0,n.jsx)(s.code,{children:"else if"})," block:"]}),"\n",(0,n.jsx)(s.pre,{"data-language":"tb","data-theme":"dark",hasCopyCode:!0,children:(0,n.jsxs)(s.code,{"data-language":"tb","data-theme":"dark",children:[(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"let"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"x"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" = "}),(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"20"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:";"})]}),"\n",(0,n.jsx)(s.span,{className:"line",children:" "}),"\n",(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"if"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"x"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"<"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"5"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" {"})]}),"\n",(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"    "}),(0,n.jsx)(s.span,{style:{color:"#12BCD3"},children:"println"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"("}),(0,n.jsx)(s.span,{style:{color:"#13BE76"},children:'"x is less than 5"'}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:");"})]}),"\n",(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"} "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"else"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"if"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"x"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:">"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"5"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" {"})]}),"\n",(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"    "}),(0,n.jsx)(s.span,{style:{color:"#12BCD3"},children:"println"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"("}),(0,n.jsx)(s.span,{style:{color:"#13BE76"},children:'"x is greater than 5"'}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:");"})]}),"\n",(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"} "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"else"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" {"})]}),"\n",(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"    "}),(0,n.jsx)(s.span,{style:{color:"#12BCD3"},children:"println"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"("}),(0,n.jsx)(s.span,{style:{color:"#13BE76"},children:'"x is equal to 5"'}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:");"})]}),"\n",(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"}"})})]})}),"\n",(0,n.jsxs)(s.p,{children:["This example would print ",(0,n.jsx)(s.code,{children:"x is greater than 5"})," because ",(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"x"})})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#B16B16"},children:"x"})})})]})," is ",(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"20"})})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#5946E5"},children:"20"})})})]}),", which is greater than ",(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"5"})})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#5946E5"},children:"5"})})})]}),"."]}),"\n",(0,n.jsx)(s.h3,{id:"logical-operators",children:"Logical Operators"}),"\n",(0,n.jsx)(s.p,{children:"Logical operators allow you to combine the logic of multiple conditions. There are three logical operators:"}),"\n",(0,n.jsxs)(s.ul,{children:["\n",(0,n.jsxs)(s.li,{children:[(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"left"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"&&"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"right"})]})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#B16B16"},children:"left"}),(0,n.jsx)(s.span,{style:{color:"#404859"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#DF2A69",fontWeight:"bold"},children:"&&"}),(0,n.jsx)(s.span,{style:{color:"#404859"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#B16B16"},children:"right"})]})})]}),": The ",(0,n.jsx)(s.em,{children:"and"})," operator returns ",(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"true"})})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#5946E5"},children:"true"})})})]})," if both ",(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"left"})})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#B16B16"},children:"left"})})})]})," and ",(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"right"})})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#B16B16"},children:"right"})})})]})," are ",(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"true"})})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#5946E5"},children:"true"})})})]}),"."]}),"\n",(0,n.jsxs)(s.li,{children:[(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"left"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"||"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"right"})]})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#B16B16"},children:"left"}),(0,n.jsx)(s.span,{style:{color:"#404859"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#DF2A69",fontWeight:"bold"},children:"||"}),(0,n.jsx)(s.span,{style:{color:"#404859"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#B16B16"},children:"right"})]})})]}),": The ",(0,n.jsx)(s.em,{children:"or"})," operator returns ",(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"true"})})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#5946E5"},children:"true"})})})]})," if either ",(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"left"})})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#B16B16"},children:"left"})})})]})," or ",(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"right"})})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#B16B16"},children:"right"})})})]})," is ",(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"true"})})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#5946E5"},children:"true"})})})]}),"."]}),"\n",(0,n.jsxs)(s.li,{children:[(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"!"}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"condition"})]})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#DF2A69",fontWeight:"bold"},children:"!"}),(0,n.jsx)(s.span,{style:{color:"#B16B16"},children:"condition"})]})})]}),": The ",(0,n.jsx)(s.em,{children:"not"})," operator returns ",(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"true"})})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#5946E5"},children:"true"})})})]})," if ",(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"condition"})})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#B16B16"},children:"condition"})})})]})," is ",(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"false"})})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#5946E5"},children:"false"})})})]}),"."]}),"\n"]}),"\n",(0,n.jsxs)(s.p,{children:["And remember, if a boolean isn't ",(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"true"})})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#5946E5"},children:"true"})})})]}),", it's ",(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"false"})})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#5946E5"},children:"false"})})})]}),"."]}),"\n",(0,n.jsx)(s.p,{children:"Here is an example that demonstrates the use of logical operators:"}),"\n",(0,n.jsx)(s.pre,{"data-language":"tb","data-theme":"dark",hasCopyCode:!0,children:(0,n.jsxs)(s.code,{"data-language":"tb","data-theme":"dark",children:[(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"let"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"x"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" = "}),(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"5"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:";"})]}),"\n",(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"let"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"y"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" = "}),(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"10"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:";"})]}),"\n",(0,n.jsx)(s.span,{className:"line",children:" "}),"\n",(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#6B6B6B",fontStyle:"italic"},children:"// is both x and y greater than 0?"})}),"\n",(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"if"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"x"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:">"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"0"}),(0,n.jsx)(s.span,{style:{color

1:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"&&"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"y"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:">"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"0"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" {"})]}),"\n",(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"    "}),(0,n.jsx)(s.span,{style:{color:"#12BCD3"},children:"println"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"("}),(0,n.jsx)(s.span,{style:{color:"#13BE76"},children:'"x and y are positive"'}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:");"})]}),"\n",(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"}"})})]})}),"\n",(0,n.jsxs)(s.p,{children:["This example would print ",(0,n.jsx)(s.code,{children:"x and y are positive"})," because both ",(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"x"})})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#B16B16"},children:"x"})})})]})," and ",(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"y"})})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#B16B16"},children:"y"})})})]})," are greater than ",(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"0"})})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#5946E5"},children:"0"})})})]}),"."]}),"\n",(0,n.jsx)(s.h4,{id:"de-morgans-laws",children:"De Morgan's Laws"}),"\n",(0,n.jsx)(s.p,{children:"De Morgan's Laws are a set of rules that allow you to simplify compound boolean expressions. They include:"}),"\n",(0,n.jsxs)(s.ul,{children:["\n",(0,n.jsxs)(s.li,{children:[(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"!"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"("}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"left"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"&&"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"right"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:")"})]})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#DF2A69",fontWeight:"bold"},children:"!"}),(0,n.jsx)(s.span,{style:{color:"#404859"},children:"("}),(0,n.jsx)(s.span,{style:{color:"#B16B16"},children:"left"}),(0,n.jsx)(s.span,{style:{color:"#404859"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#DF2A69",fontWeight:"bold"},children:"&&"}),(0,n.jsx)(s.span,{style:{color:"#404859"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#B16B16"},children:"right"}),(0,n.jsx)(s.span,{style:{color:"#404859"},children:")"})]})})]})," is equivalent to ",(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"!"}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"left"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"||"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"!"}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"right"})]})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#DF2A69",fontWeight:"bold"},children:"!"}),(0,n.jsx)(s.span,{style:{color:"#B16B16"},children:"left"}),(0,n.jsx)(s.span,{style:{color:"#404859"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#DF2A69",fontWeight:"bold"},children:"||"}),(0,n.jsx)(s.span,{style:{color:"#404859"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#DF2A69",fontWeight:"bold"},children:"!"}),(0,n.jsx)(s.span,{style:{color:"#B16B16"},children:"right"})]})})]})]}),"\n",(0,n.jsxs)(s.li,{children:[(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"!"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"("}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"left"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"||"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"right"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:")"})]})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#DF2A69",fontWeight:"bold"},children:"!"}),(0,n.jsx)(s.span,{style:{color:"#404859"},children:"("}),(0,n.jsx)(s.span,{style:{color:"#B16B16"},children:"left"}),(0,n.jsx)(s.span,{style:{color:"#404859"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#DF2A69",fontWeight:"bold"},children:"||"}),(0,n.jsx)(s.span,{style:{color:"#404859"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#B16B16"},children:"right"}),(0,n.jsx)(s.span,{style:{color:"#404859"},children:")"})]})})]})," is equivalent to ",(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"!"}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"left"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"&&"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"!"}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"right"})]})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#DF2A69",fontWeight:"bold"},children:"!"}),(0,n.jsx)(s.span,{style:{color:"#B16B16"},children:"left"}),(0,n.jsx)(s.span,{style:{color:"#404859"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#DF2A69",fontWeight:"bold"},children:"&&"}),(0,n.jsx)(s.span,{style:{color:"#404859"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#DF2A69",fontWeight:"bold"},children:"!"}),(0,n.jsx)(s.span,{style:{color:"#B16B16"},children:"right"})]})})]})]}),"\n"]}),"\n",(0,n.jsx)(s.p,{children:"Applying these rules to complex boolean expressions can make them easier to understand."}),"\n",(0,n.jsx)(s.h4,{id:"short-circuit-evaluation",children:"Short-Circuit Evaluation"}),"\n",(0,n.jsx)(s.p,{children:"Short-circuit evaluation is a feature of logical operators that allows you to write more efficient code. It allows you\nto write code that only evaluates the minimum number of conditions necessary to determine the result of a boolean\nexpression."}),"\n",(0,n.jsxs)(s.p,{children:["For example, if you have an ",(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"&&"})})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#DF2A69",fontWeight:"bold"},children:"&&"})})})]})," expression, the right side of the expression will only be evaluated if the left\nside is ",(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"true"})})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#5946E5"},children:"true"})})})]}),". This is because if the left side is ",(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"false"})})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#5946E5"},children:"false"})})})]}),", the entire expression will be ",(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"false"})})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#5946E5"},children:"false"})})})]})," no\nmatter what the right side is. This means that if the left side is ",(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"false"})})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#5946E5"},children:"false"})})})]}),", the right side will not be evaluated."]}),"\n",(0,n.jsxs)(s.p,{children:["Similarly, if you have an ",(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"||"})})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#DF2A69",fontWeight:"bold"},children:"||"})})})]})," expression, the right side of the expression will only be evaluated if the left\nside is ",(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"false"})})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#5946E5"},children:"false"})})})]}),"."]}),"\n",(0,n.jsx)(s.p,{children:"So:"}),"\n",(0,n.jsx)(s.pre,{"data-language":"tb","data-theme":"dark",hasCopyCode:!0,children:(0,n.jsxs)(s.code,{"data-language":"tb","data-theme":"dark",children:[(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"true"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"&&"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#12BCD3"},children:"println"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"("}),(0,n.jsx)(s.span,{style:{color:"#13BE76"},children:'"Hello, world!"'}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"); "}),(0,n.jsx)(s.span,{style:{color:"#6B6B6B",fontStyle:"italic"},children:'// prints "Hello, world!"'})]}),"\n",(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"false"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"&&"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#12BCD3"},children:"println"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"("}),(0,n.jsx)(s.span,{style:{color:"#13BE76"},children:'"Hello, world!"'}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"); "}),(0,n.jsx)(s.span,{style:{color:"#6B6B6B",fontStyle:"italic"},children:'// does not print "Hello, world!"'})]})]})}),"\n",(0,n.jsx)(s.h4,{id:"booleans-vs-truthy-values",children:"Booleans vs. Truthy values"}),"\n",(0,n.jsxs)(s.p,{children:["After reading the previous example, you might be surprised to see that ",(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#12BCD3"},children:"println"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"("}),(0,n.jsx)(s.span,{style:{color:"#13BE76"},children:'"Hello, world!"'}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:")"})]})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#077988"},children:"println"}),(0,n.jsx)(s.span,{style:{color:"#404859"},children:"("}),(0,n.jsx)(s.span,{style:{color:"#06653D"},children:'"Hello, world!"'}),(0,n.jsx)(s.span,{style:{color:"#404859"},children:")"})]})})]})," is valid in\na logical operator. Whereas conditional statements like ",(0,n.jsx)(s.em,{children:"if-statements"})," take booleans ",(0,n.jsx)(s.em,{children:"only"})," as conditions,\nlogical operators take a ",(0,n.jsx)(s.em,{children:"truthy value"}),", which include all values that support an explicit type-cast to ",(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#E49677",fontStyle:"italic"},children:"bool"})})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#C14D1F",fontStyle:"italic"},children:"bool"})})})]}),"."]}),"\n",(0,n.jsx)(s.h3,{id:"if-statements-as-expressions",children:"If-statements as expressions"}),"\n",(0,n.jsxs)(s.p,{children:['Remember the "scoping" syntax from the ',(0,n.jsx)(s.em,{children:"Variables"})," section? They are called ",(0,n.jsx)(s.em,{children:"blocks"})," and evaluate to the last expression\nin the block:"]}),"\n",(0,n.jsx)(s.pre,{"data-language":"tb","data-theme":"dark",hasCopyCode:!0,children:(0,n.jsxs)(s.code,{"data-language":"tb","data-theme":"dark",children:[(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"let"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"x"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" = { "}),(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"5"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" };"})]}),"\n",(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#12BCD3"},children:"assert_eq"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"("}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"x"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},chi

1ldren:", "}),(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"5"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:");"})]}),"\n",(0,n.jsx)(s.span,{className:"line",children:" "}),"\n",(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"let"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"y"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" = { "}),(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"5"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"; "}),(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"10"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"; "}),(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"15"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"; };"})]}),"\n",(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#12BCD3"},children:"assert_eq"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"("}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"y"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:", "}),(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"15"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:");"})]})]})}),"\n",(0,n.jsxs)(s.p,{children:["In fact, anything that enters a scope like this is an expression, including ",(0,n.jsx)(s.em,{children:"if-statements"}),":"]}),"\n",(0,n.jsx)(s.pre,{"data-language":"tb","data-theme":"dark",hasCopyCode:!0,children:(0,n.jsxs)(s.code,{"data-language":"tb","data-theme":"dark",children:[(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"let"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"x"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" = "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"if"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"1"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"+"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"1"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"=="}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"2"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" {"})]}),"\n",(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"    "}),(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"5"})]}),"\n",(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"} "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"else"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" {"})]}),"\n",(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"    "}),(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"10"})]}),"\n",(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"};"})}),"\n",(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"let"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"y"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" = "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"if"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"1"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"+"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"1"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"=="}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"2"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"then"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"5"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"else"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"10"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"; "}),(0,n.jsx)(s.span,{style:{color:"#6B6B6B",fontStyle:"italic"},children:"// this ternary expression also works"})]}),"\n",(0,n.jsx)(s.span,{className:"line",children:" "}),"\n",(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#12BCD3"},children:"assert_eq"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"("}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"x"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:", "}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"y"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:", "}),(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"5"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:");"})]})]})}),"\n",(0,n.jsx)(o.UW,{type:"info",children:(0,n.jsxs)(s.p,{children:["The ",(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"assert_eq"})})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#B16B16"},children:"assert_eq"})})})]})," call above checked if ",(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"x"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"=="}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"y"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"=="}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"5"})]})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#B16B16"},children:"x"}),(0,n.jsx)(s.span,{style:{color:"#404859"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#DF2A69",fontWeight:"bold"},children:"=="}),(0,n.jsx)(s.span,{style:{color:"#404859"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#B16B16"},children:"y"}),(0,n.jsx)(s.span,{style:{color:"#404859"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#DF2A69",fontWeight:"bold"},children:"=="}),(0,n.jsx)(s.span,{style:{color:"#404859"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#5946E5"},children:"5"})]})})]}),". ",(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"assert_eq"})})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#B16B16"},children:"assert_eq"})})})]})," can accept multiple arguments and\nchecks if all of them are equal to each other."]}

1)}),"\n",(0,n.jsx)(s.h4,{id:"type-convergence",children:"Type convergence"}),"\n",(0,n.jsxs)(s.p,{children:["In Terbium, every expression must have a type. When all branches of an if-expression evaluate to the same type, its\ntypes ",(0,n.jsx)(s.em,{children:"converge"})," to that type. For example:"]}),"\n",(0,n.jsx)(s.pre,{"data-language":"tb","data-theme":"dark",hasCopyCode:!0,children:(0,n.jsxs)(s.code,{"data-language":"tb","data-theme":"dark",children:[(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"let"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"x"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" = "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"if"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"true"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" { "}),(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"5"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#6B6B6B",fontStyle:"italic"},children:"/* int32 */"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" } "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"else"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" { "}),(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"10"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#6B6B6B",fontStyle:"italic"},children:"/* int32 */"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" };"})]}),"\n",(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#12BCD3"},children:"assert"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"("}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"x"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"is"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#E49677",fontStyle:"italic"},children:"int32"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:");"})]})]})}),"\n",(0,n.jsxs)(s.p,{children:["However, what if your if-expression has branches that evaluates to different types? In that case, the type of the\nif-expression is ",(0,n.jsx)(s.em,{children:"divergent"})," and is represented by the ",(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"Divergent"})})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#B16B16"},children:"Divergent"})})})]})," type:"]}),"\n",(0,n.jsx)(s.pre,{"data-language":"tb","data-theme":"dark",hasCopyCode:!0,children:(0,n.jsxs)(s.code,{"data-language":"tb","data-theme":"dark",children:[(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"let"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"x"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" = "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"if"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"true"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" { "}),(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"5"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#6B6B6B",fontStyle:"italic"},children:"/* int32 */"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" } "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"else"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" { "}),(0,n.jsx)(s.span,{style:{color:"#13BE76"},children:'"hello"'}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#6B6B6B",fontStyle:"italic"},children:"/* string */"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" };"})]}),"\n",(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#12BCD3"},children:"assert"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"("}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"x"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"is"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"Divergent"}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"<"}),(0,n.jsx)(s.span,{style:{color:"#E49677",fontStyle:"italic"},children:"int32"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:", "}),(0,n.jsx)(s.span,{style:{color:"#E49677",fontStyle:"italic"},children:"string"}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:">"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:");"})]}),"\n",(0,n.jsx)(s.span,{className:"line",children:" "}),"\n",(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#6B6B6B",fontStyle:"italic"},children:"// Also note:"})}),"\n",(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"let"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"x"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" = "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"if"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"true"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" { "}),(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"5"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" } "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"else"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"if"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"false"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" { "}),(0,n.jsx)(s.span,{style:{color:"#13BE76"},children:'"hello"'}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" } "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"else"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" { "}),(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"10"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" };"})]}),"\n",(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#12BCD3"},children:"assert"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"("}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"x"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"is"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"Divergent"}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"<"}),(0,n.jsx)(s.span,{style:{color:"#E49677",fontStyle:"italic"},children:"int32"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:", "}),(0,n.jsx)(s.span,{style:{color:"#E49677",fontStyle:"italic"},children:"string"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:", "}),(0,n.jsx)(s.span,{style:{color:"#E49677",fontStyle:"italic"},children:"int32"}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:">"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:");"})]}),"\n",(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#12BCD3"},children:"assert"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"("}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"x"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"is"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"Divergent"}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"<"}),(0,n.jsx)(s.span,{style:{color:"#E49677",fontStyle:"italic"},children:"int32"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:", "}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"Divergent"}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"<"}),(0,n.jsx)(s.span,{style:{color:"#E49677",fontStyle:"italic"},children:"string"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:", "}),(0,n.jsx)(s.span,{style:{color:"#E49677",fontStyle:"italic"},children:"int32"}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:">>"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:")"})]}),"\n",(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#12BCD3"},children:"assert"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"("}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"x"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"is"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"Divergent"}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"<"}),(0,n.jsx)(s.span,{style:{color:"#E49677",fontStyle:"italic"},children:"int32"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:", "}),(0,n.jsx)(s.span,{style:{color:"#E49677",fontStyle:"italic"},children:"string"}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:">"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:");"})]})]})}),"\n",(0,n.jsxs)(s.p,{children:["The ",(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"Divergent"})})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#B16B16"},children:"Divergent"})})})]})," type is a special type that represents a type that can be one of multiple types, also known as a\n",(0,n.jsx)(s.em,{children:"sum type"})," or ",(0,n.jsx)(s.em,{children:"union type"}),". It is only one of the many union types in Terbium, however we'll cover them, as well as\n",(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"Divergent"})})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#B16B16"},children:"Divergent"})})})]}),", in more detail in the ",(0,n.jsx)(s.em,{children:"Sum Types"})," section."]}),"\n",(0,n.jsx)(s.h2,{id:"loops",children:"Loops"}),"\n",(0,n.jsxs)(s.p,{children:["Loops allow you to execute a block of code multiple times. The most basic type of loop can be written using the\n",(0,n.jsx)(s.em,{children:(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"loop"})})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#DF2A69",fontWeight:"bold"},children:"loop"})})})]})}

1)," keyword, which will execute a block of code indefinitely:"]}),"\n",(0,n.jsx)(s.pre,{"data-language":"tb","data-theme":"dark",hasCopyCode:!0,children:(0,n.jsxs)(s.code,{"data-language":"tb","data-theme":"dark",children:[(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"loop"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" {"})]}),"\n",(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"    "}),(0,n.jsx)(s.span,{style:{color:"#6B6B6B",fontStyle:"italic"},children:"// code to execute indefinitely"})]}),"\n",(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"    "}),(0,n.jsx)(s.span,{style:{color:"#12BCD3"},children:"println"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"("}),(0,n.jsx)(s.span,{style:{color:"#13BE76"},children:'"looping..."'}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:");"})]}),"\n",(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"}"})})]})}),"\n",(0,n.jsxs)(s.h3,{id:"the-break-statement",children:["The ",(0,n.jsx)(s.code,{children:"break"})," statement"]}),"\n",(0,n.jsxs)(s.p,{children:["You can use the ",(0,n.jsx)(s.em,{children:(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"break"})})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#DF2A69",fontWeight:"bold"},children:"break"})})})]})})," statement to exit a loop early. Since the loop will execute indefinitely, it would be\nuseful to have a way to exit the loop eventually. The ",(0,n.jsx)(s.em,{children:(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"break"})})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#DF2A69",fontWeight:"bold"},children:"break"})})})]})})," statement will exit the loop immediately when it\nis executed:"]}),"\n",(0,n.jsx)(s.pre,{"data-language":"tb","data-theme":"dark",hasCopyCode:!0,children:(0,n.jsxs)(s.code,{"data-language":"tb","data-theme":"dark",children:[(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"let"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontStyle:"italic"},children:"mut"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"x"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" = "}),(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"0"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:";"})]}),"\n",(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"loop"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" {"})]}),"\n",(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"    "}),(0,n.jsx)(s.span,{style:{color:"#12BCD3"},children:"println"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"("}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"x"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:");"})]}),"\n",(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"    "}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"x"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"+="}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"1"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:";"})]}),"\n",(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"    "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"if"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"x"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"=="}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"5"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" {"})]}),"\n",(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"        "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"break"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:";"})]}),"\n",(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"    }"})}),"\n",(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"}"})}),"\n",(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#12BCD3"},children:"assert_eq"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"("}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"x"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:", "}),(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"5"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:");"})]})]})}),"\n",(0,n.jsx)(s.p,{children:"This example would print:"}),"\n",(0,n.jsx)(s.pre,{"data-language":"text","data-theme":"dark",hasCopyCode:!0,children:(0,n.jsxs)(s.code,{"data-language":"text","data-theme":"dark",children:[(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"0"})}),"\n",(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"1"})}),"\n",(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"2"})}),"\n",(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"3"})}),"\n",(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"4"})})]})}),"\n",(0,n.jsxs)(s.p,{children:["...and after such, ",(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"x"})})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#B16B16"},children:"x"})})})]})," increments to ",(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"5"})})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#5946E5"},children:"5"})})})]})," and the loop breaks."]}),"\n",(0,n.jsxs)(s.h3,{id:"the-continue-statement",children:["The ",(0,n.jsx)(s.code,{children:"continue"})," statement"]}),"\n",(0,n.jsxs)(s.p,{children:["You can use the ",(0,n.jsx)(s.em,{children:(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"continue"})})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#DF2A69",fontWeight:"bold"},children:"continue"})})})]})})," statement to skip the rest of the current iteration of a loop and start the next\niteration:"]}),"\n",(0,n.jsx)(s.pre,{"data-language":"tb","data-theme":"dark",hasCopyCode:!0,children:(0,n.jsxs)(s.code,{"data-language":"tb","data-theme":"dark",children:[(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"let"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontStyle:"italic"},children:"mut"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"x"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" = "}),(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"0"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:";"})]}),"\n",(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"loop"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" {"})]}),"\n",(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"    "}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"x"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"+="}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"1"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:";"})]}),"\n",(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"    "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"if"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"x"}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"."}),(0,n.jsx)(s.span,{style:{color:"#12BCD3"},children:"is_even"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"}

1,children:"() {"})]}),"\n",(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"        "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"continue"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:";"})]}),"\n",(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"    }"})}),"\n",(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"    "}),(0,n.jsx)(s.span,{style:{color:"#12BCD3"},children:"println"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"("}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"x"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:");"})]}),"\n",(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"    "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"if"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"x"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"=="}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"5"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" {"})]}),"\n",(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"        "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"break"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:";"})]}),"\n",(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"    }"})}),"\n",(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"}"})})]})}),"\n",(0,n.jsx)(s.p,{children:"This example would print:"}),"\n",(0,n.jsx)(s.pre,{"data-language":"text","data-theme":"dark",hasCopyCode:!0,children:(0,n.jsxs)(s.code,{"data-language":"text","data-theme":"dark",children:[(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"1"})}),"\n",(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"3"})}),"\n",(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"5"})})]})}),"\n",(0,n.jsxs)(s.p,{children:["...because the ",(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"continue"})})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#DF2A69",fontWeight:"bold"},children:"continue"})})})]})," statement skips printing when ",(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"x"})})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#B16B16"},children:"x"})})})]})," is even."]}),"\n",(0,n.jsx)(s.h3,{id:"while-loops",children:"While-loops"}),"\n",(0,n.jsxs)(s.p,{children:["Another type of loop in Terbium is the ",(0,n.jsx)(s.em,{children:"while-loop"}),", which continuously executes a block of code based on a condition.\nSpecifically, a ",(0,n.jsx)(s.em,{children:"while-loop"})," executes a block of code as long as a specified condition is ",(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"true"})})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#5946E5"},children:"true"})})})]}),". The general\nsyntax of a while-loop is:"]}),"\n",(0,n.jsx)(s.pre,{"data-language":"tb","data-theme":"dark",hasCopyCode:!0,children:(0,n.jsxs)(s.code,{"data-language":"tb","data-theme":"dark",children:[(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"while"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"CONDITION"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" {"})]}),"\n",(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"    "}),(0,n.jsx)(s.span,{style:{color:"#6B6B6B",fontStyle:"italic"},children:"// code to execute while the condition is true"})]}),"\n",(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"}"})})]})}),"\n",(0,n.jsx)(s.p,{children:"Here is an example that demonstrates the use of a while-loop:"}),"\n",(0,n.jsx)(s.pre,{"data-language":"tb","data-theme":"dark",hasCopyCode:!0,children:(0,n.jsxs)(s.code,{"data-language":"tb","data-theme":"dark",children:[(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"let"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontStyle:"italic"},children:"mut"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"x"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" = "}),(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"0"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:";"})]}),"\n",(0,n.jsx)(s.span,{className:"line",children:" "}),"\n",(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"while"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"x"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"<"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"5"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" {"})]}),"\n",(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"    "}),(0,n.jsx)(s.span,{style:{color:"#12BCD3"},children:"println"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"("}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"x"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:");"})]}),"\n",(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"    "}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"x"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"+="}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"1"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:";"})]}),"\n",(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"}"})})]})}),"\n",(0,n.jsxs)(s.p,{children:["The variable ",(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"x"})})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#B16B16"},children:"x"})})})]})," will increment (via the ",(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"x"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"+="}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"1"})]})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#B16B16"},children:"x"}),(0,n.jsx)(s.span,{style:{color:"#404859"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#DF2A69",fontWeight:"bold"},children:"+="}),(0,n.jsx)(s.span,{style:{color:"#404859"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#5946E5"},children:"1"})]})})]}),") until it reaches ",(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"5"})})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#5946E5"},children:"5"})})})]}),", when the condition is ",(0,n.jsxs)(s.span,{"data-rehype-pretty-code-fragment":"",children:[(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"dark",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#9B90F4"},children:"false"})})}),(0,n.jsx)(s.code,{"data-language":"tb","data-theme":"light",children:(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#5946E5"},children:"false"})})})]}),".\nThis example would print:"]}),"\n",(0,n.jsx)(s.pre,{"data-language":"text","data-theme":"dark",hasCopyCode:!0,children:(0,n.jsxs)(s.code,{"data-language":"text","data-theme":"dark",children:[(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"0"})}),"\n",(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"1"})}),"\n",(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"2"})}),"\n",(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"3"})}),"\n",(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"4"})})]})}),"\n",(0,n.jsxs)(s.p,{children:["Fundamentally, a ",(0,n.jsx)(s.em,{children:"while-loop"})," is just a more specific form of a ",(0,n.jsx)(s.em,{children:"loop"})," that checks a condition before each iteration:"]}),"\n",(0,n.jsx)(s.pre,{"data-language":"tb","data-theme":"dark",hasCopyCode:!0,children:(0,n.jsxs)(s.code,{"data-language":"tb","data-theme":"dark",children:[(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"while"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"CONDITION"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" { "}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"BODY"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" }"})]}),"\n",(0,n.jsx)(s.span,{className:"line",children:" "}),"\n",(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#6B6B6B",fontStyle:"italic"},children:"// Expands to:"})}),"\n",(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"loop"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" {"})]}),"\n",(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"    "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"if"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" "}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"CONDITION"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" { "}),(0,n.jsx)(s.span,{style:{color:"#E8C59B"},children:"BODY"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" }"})]}),"\n",(0,n.jsxs)(s.span,{className:"line",children:[(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"    "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"else"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:" { "}),(0,n.jsx)(s.span,{style:{color:"#EB94B2",fontWeight:"bold"},children:"break"}),(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"; }"})]}),"\n",(0,n.jsx)(s.span,{className:"line",children:(0,n.jsx)(s.span,{style:{color:"#D1D1D1"},children:"}"})})]})})]})}let h={MDXContent:function(){let e=arguments.length>0&&void 0!==arguments[0]?arguments[0]:{},{wrapper:s}=Object.assign({},(0,r.a)(),e.components);return s?(0,n.jsx)(s,{...e,children:(0,n.jsx)(d,{...e})}):d(e)},pageOpts:{filePath:"pages/guide/fundamentals/control.mdx",route:"/guide/fundamentals/control",timestamp:1709869977e3,pageMap:[{kind:"Meta",data:{index:{type:"page",title:"Terbium",display:"hidden",theme:{layout:"full"}},guide:{type:"page",title:"Guide"}}},{kind:"Folder",name:"guide",route:"/guide",children:[{kind:"Meta",data:{index:{title:"Introduction"},quickstart:{title:"Getting Started"}

1,fundamentals:{title:"Fundamental Concepts"}}},{kind:"Folder",name:"fundamentals",route:"/guide/fundamentals",children:[{kind:"Meta",data:{values:{title:"Values and Expressions"},comments:{title:"Comments and Assertions"},variables:{title:"Variables"},types:{title:"Data Types"},control:{title:"Control Flow"}}},{kind:"MdxPage",name:"comments",route:"/guide/fundamentals/comments"},{kind:"MdxPage",name:"control",route:"/guide/fundamentals/control"},{kind:"MdxPage",name:"types",route:"/guide/fundamentals/types"},{kind:"MdxPage",name:"values",route:"/guide/fundamentals/values"},{kind:"MdxPage",name:"variables",route:"/guide/fundamentals/variables"}]},{kind:"MdxPage",name:"fundamentals",route:"/guide/fundamentals"},{kind:"MdxPage",name:"index",route:"/guide"},{kind:"MdxPage",name:"quickstart",route:"/guide/quickstart"}]},{kind:"MdxPage",name:"index",route:"/"}],flexsearch:!0,title:"Control Flow",headings:i},pageNextRoute:"/guide/fundamentals/control",nextraLayout:t.ZP,themeConfig:c.Z};s.default=(0,a.j)(h)}},function(e){e.O(0,[230,774,888,179],function(){return e(e.s=8834)}),_N_E=e.O()}]);