title: CS450 layout: true author: Tiago Cogumbreiro lecture: 1 abstract: Course info, arithmetic in Racket, evaluation sep: &nbsp;☽&nbsp; section: 2 semester: f26 <img id="logo" src="data:image/svg+xml;base64,PD94bWwgdmVyc2lvbj0iMS4wIiBlbmNvZGluZz0iVVRGLTgiPz4KPHN2ZyBpZD0iYSIgeG1sbnM9Imh0dHA6Ly93d3cudzMub3JnLzIwMDAvc3ZnIiB2aWV3Qm94PSIwIDAgMTI0LjggNTkuNiI+PGRlZnM+PHN0eWxlPi5ie2ZpbGw6IzAwNWE4Yjt9PC9zdHlsZT48L2RlZnM+PHBhdGggY2xhc3M9ImIiIGQ9Ik02LjQ1LDQzLjkxYzEuMzgsMCwyLjUyLS4zMiwzLjQtLjk3LC44OC0uNjUsMS4zMi0xLjUyLDEuMzItMi42MSwwLS43OC0uMjctMS40Ny0uODEtMi4wNS0uNTQtLjU4LTEuMjUtLjk1LTIuMTUtMS4wOSwxLjY5LS41MSwyLjUzLTEuNTIsMi41My0zLjAzLDAtLjk1LS4zNy0xLjcxLTEuMTItMi4yNy0uNzUtLjU2LTEuODEtLjg0LTMuMTktLjg0SC4yOHYxMi44NUg2LjQ1Wm0tMy4zOC0xMC41NGgyLjk0Yy42NSwwLDEuMTQsLjExLDEuNDYsLjMyLC4zMiwuMjEsLjQ5LC41NywuNDksMS4wNiwwLC45My0uNjUsMS40LTEuOTUsMS40SDMuMDd2LTIuNzdoMFptMCw1LjAxaDIuOTdjMS40OSwwLDIuMjQsLjU0LDIuMjQsMS42MnMtLjc1LDEuNi0yLjI0LDEuNkgzLjA3di0zLjIxaDBabTEwLjcsNC40M2MuOTIsLjkyLDIuMDcsMS4zOSwzLjQ1LDEuMzlzMi41OS0uNDUsMy40OS0xLjM0Yy44OS0uODksMS4zNC0yLjA3LDEuMzQtMy41NHMtLjQ1LTIuNjItMS4zNS0zLjUyYy0uOS0uOS0yLjA2LTEuMzUtMy40OC0xLjM1cy0yLjU2LC40NS0zLjQ3LDEuMzVjLS45MSwuOS0xLjM2LDIuMDctMS4zNiwzLjUycy40NiwyLjU3LDEuMzgsMy41aDBabTMuNDUtLjY5Yy0uNjYsMC0xLjE4LS4yNC0xLjU1LS43MS0uMzctLjQ3LS41Ni0xLjE2LS41Ni0yLjA3cy4xOS0xLjYxLC41Ni0yLjFjLjM3LS41LC44OS0uNzQsMS41NS0uNzRzMS4xOCwuMjUsMS41NSwuNzRjLjM3LC41LC41NiwxLjIsLjU2LDIuMXMtLjE5LDEuNTktLjU2LDIuMDdjLS4zNywuNDctLjg5LC43MS0xLjU1LC43MWgwWm03LjI2LDEuMzJjLjgsLjQ4LDEuNzUsLjcyLDIuODQsLjcyLDEuMzIsMCwyLjM2LS4yNywzLjEyLS44MiwuNzYtLjU0LDEuMTQtMS4yOCwxLjE0LTIuMjEsMC0xLjUxLTEuMDUtMi40Ni0zLjE2LTIuODZsLTEuMjctLjI0Yy0uNDktLjA5LS44Mi0uMTktMS0uMzItLjE4LS4xMy0uMjctLjMyLS4yNy0uNThzLjExLS40OCwuMzQtLjY0Yy4yMy0uMTYsLjU1LS4yNCwuOTYtLjI0LC45MiwwLDEuNTQsLjQzLDEuODUsMS4yOWwyLjE1LS45N2MtLjI1LS41OC0uNy0xLjA3LTEuMzctMS40OS0uNjctLjQyLTEuNS0uNjItMi41MS0uNjItMS4yMSwwLTIuMTcsLjI2LTIuODgsLjc5LS43MSwuNTMtMS4wNiwxLjIzLTEuMDYsMi4xMXMuMjQsMS40OCwuNzMsMS44OWMuNDgsLjQyLDEuMjYsLjczLDIuMzIsLjk0bDEuMywuMjZjLjQyLC4wOSwuNzEsLjIxLC44OCwuMzYsLjE3LC4xNSwuMjYsLjM2LC4yNiwuNjJzLS4xMywuNDktLjM4LC42NmMtLjI1LC4xNy0uNTksLjI2LTEuMDIsLjI2LS43NywwLTEuMjktLjE3LTEuNTYtLjUxLS4yOC0uMzYtLjQ2LS43LS41My0xLjAzbC0yLjM3LC43NWMuMTgsLjgsLjY4LDEuNDMsMS40OCwxLjkxaDBabTkuOTgtLjJjLjQyLC40NCwuOTksLjY2LDEuNzEsLjY2aDMuMDd2LTIuMDdoLTEuOThjLS4yOCwwLS40OS0uMDYtLjYyLS4xOS0uMTMtLjEzLS4xOS0uMzMtLjE5LS42MnYtNC4zMWgyLjM5di0xLjk4aC0yLjM5di0yLjg4aC0yLjYxdjIuODhoLTEuOTN2MS45OGgxLjkzdjQuNzljMCwuNzIsLjIxLDEuMywuNjIsMS43NGgwWm02Ljc2LS40M2MuOTIsLjkyLDIuMDcsMS4zOSwzLjQ1LDEuMzlzMi41OS0uNDUsMy40OS0xLjM0Yy44OS0uODksMS4zNC0yLjA3LDEuMzQtMy41NHMtLjQ1LTIuNjItMS4zNS0zLjUyYy0uOS0uOS0yLjA2LTEuMzUtMy40OC0xLjM1cy0yLjU2LC40NS0zLjQ3LDEuMzVjLS45MSwuOS0xLjM2LDIuMDctMS4zNiwzLjUycy40NiwyLjU3LDEuMzgsMy41aDBabTMuNDUtLjY5Yy0uNjYsMC0xLjE4LS4yNC0xLjU1LS43MS0uMzctLjQ3LS41Ni0xLjE2LS41Ni0yLjA3cy4xOS0xLjYxLC41Ni0yLjFjLjM3LS41LC44OS0uNzQsMS41NS0uNzRzMS4xOCwuMjUsMS41NSwuNzRjLjM3LC41LC41NiwxLjIsLjU2LDIuMXMtLjE5LDEuNTktLjU2LDIuMDdjLS4zNywuNDctLjg5LC43MS0xLjU1LC43MWgwWm05LjE2LDEuNzh2LTQuMzVjMC0xLjE1LC4yLTEuOTcsLjYxLTIuNDYsLjI3LS4zMywuNjgtLjUsMS4yMy0uNSwuOTgsMCwxLjQ3LC41OCwxLjQ3LDEuNzN2NS41OGgyLjYxdi02LjE1YzAtMS4wNS0uMjUtMS44Ny0uNzYtMi40NC0uNTEtLjU4LTEuMjYtLjg2LTIuMjctLjg2LTEuMjgsMC0yLjI3LC41Ni0yLjk2LDEuNjl2LTEuNDFoLTIuNTN2OS4xOGgyLjYxWiIvPjxwYXRoIGNsYXNzPSJiIiBkPSJNMS44NiwyNS43YzEuMDUsLjk1LDIuNDQsMS40Myw0LjE5LDEuNDNzMy4xLS40OCw0LjE3LTEuNDNjMS4wNi0uOTUsMS42LTIuMjUsMS42LTMuODd2LTcuODRoLTIuNzl2Ny40YzAsMi4yNC0uOTksMy4zNi0yLjk3LDMuMzYtLjk4LDAtMS43Mi0uMjgtMi4yMi0uODUtLjUtLjU3LS43NS0xLjQtLjc1LTIuNTF2LTcuNEguMjl2Ny44NGMwLDEuNjMsLjUyLDIuOTIsMS41NywzLjg3aDBabTE1LjUsMS4xNHYtMTAuNDZsMy41NCwxMC40NmgyLjQ4bDMuNTgtMTAuNDh2MTAuNDhoMi43OVYxMy45OWgtNC40MWwtMi4xNSw2LjI2Yy0uNCwxLjIxLS43MywyLjEyLS45NywyLjc0LS4yNC0uNjEtLjU3LTEuNTItLjk3LTIuNzRsLTIuMTEtNi4yNmgtNC41N3YxMi44NWgyLjc5Wm0xNS4xMy0uNDRjLjU1LC40OSwxLjI0LC43MywyLjA3LC43MywxLjM4LDAsMi40My0uNTQsMy4xNC0xLjYzLC4xLC44OSwuNjUsMS4zNCwxLjY1LDEuMzRoMnYtMS45OGgtLjgxYy0uMjUsMC0uNC0uMDMtLjQ2LS4wOS0uMDYtLjA2LS4wOS0uMjEtLjA5LS40NnYtMy4zNmMwLTEuMTctLjM1LTIuMDYtMS4wNi0yLjY2LS43LS42LTEuNzItLjktMy4wNC0uOS0xLjI1LDAtMi4yNywuMjgtMy4wNiwuODMtLjc5LC41NS0xLjIyLDEuMjEtMS4yOSwxLjk4bDIuMzUsLjUxYy4yMy0uOTcsLjkxLTEuNDUsMi4wMi0xLjQ1LDEsMCwxLjUxLC40MiwxLjUxLDEuMjd2LjM1Yy0uODksLjA5LTEuNjcsLjIxLTIuMzIsLjM2LS42NSwuMTUtMS4yNSwuMzYtMS43OCwuNjMtLjUzLC4yNy0uOTQsLjYyLTEuMjIsMS4wNi0uMjgsLjQ0LS40MywuOTYtLjQ0LDEuNTYsMCwuNzgsLjI4LDEuNDIsLjgzLDEuOTFoMFptNC4zOS0xLjczYy0uMzcsLjM3LS44MywuNTUtMS4zOCwuNTUtLjgsMC0xLjE5LS4zMy0xLjE5LS45OSwwLS41NCwuMjYtLjkzLC43Ny0xLjE3LC41MS0uMjQsMS4zLS40MywyLjM1LS41N3YuNTljMCwuNy0uMTgsMS4yMy0uNTUsMS42aDBabTYuMzgsMS43MWMuOCwuNDgsMS43NSwuNzIsMi44NCwuNzIsMS4zMiwwLDIuMzYtLjI3LDMuMTItLjgyLC43Ni0uNTQsMS4xNC0xLjI4LDEuMTQtMi4yMSwwLTEuNTEtMS4wNS0yLjQ2LTMuMTYtMi44NmwtMS4yNy0uMjRjLS40OS0uMDktLjgyLS4xOS0xLS4zMi0uMTgtLjEzLS4yNy0uMzItLjI3LS41OHMuMTEtLjQ4LC4zNC0uNjRjLjIzLS4xNiwuNTUtLjI0LC45Ni0uMjQsLjkyLDAsMS41NCwuNDMsMS44NSwxLjI5bDIuMTUtLjk3Yy0uMjQtLjU4LS43LTEuMDctMS4zNy0xLjQ5LS42Ny0uNDItMS41LS42Mi0yLjUxLS42Mi0xLjIxLDAtMi4xNywuMjYtMi44OCwuNzktLjcxLC41My0xLjA3LDEuMjMtMS4wNywyLjExcy4yNCwxLjQ3LC43MiwxLjg5Yy40OCwuNDIsMS4yNiwuNzMsMi4zMiwuOTRsMS4zLC4yNmMuNDIsLjA5LC43MSwuMjEsLjg4LC4zNiwuMTcsLjE1LC4yNiwuMzYsLjI2LC42MnMtLjEzLC40OS0uMzgsLjY2Yy0uMjUsLjE3LS41OSwuMjYtMS4wMiwuMjYtLjc3LDAtMS4yOS0uMTctMS41Ni0uNTEtLjI4LS4zNS0uNDYtLjctLjUzLTEuMDNsLTIuMzcsLjc1Yy4xOCwuOCwuNjgsMS40MywxLjQ4LDEuOTFoMFptOS40NSwwYy44LC40OCwxLjc1LC43MiwyLjg0LC43MiwxLjMyLDAsMi4zNi0uMjcsMy4xMi0uODIsLjc2LS41NCwxLjE0LTEuMjgsMS4xNC0yLjIxLDAtMS41MS0xLjA1LTIuNDYtMy4xNi0yLjg2bC0xLjI3LS4yNGMtLjQ5LS4wOS0uODItLjE5LTEtLjMyLS4xOC0uMTMtLjI3LS4zMi0uMjctLjU4cy4xMS0uNDgsLjM0LS42NGMuMjMtLjE2LC41NS0uMjQsLjk2LS4yNCwuOTIsMCwxLjU0LC40MywxLjg1LDEuMjlsMi4xNS0uOTdjLS4yNC0uNTgtLjctMS4wNy0xLjM3LTEuNDktLjY3LS40Mi0xLjUtLjYyLTIuNTEtLjYyLTEuMjEsMC0yLjE3LC4yNi0yLjg4LC43OS0uNzEsLjUzLTEuMDcsMS4yMy0xLjA3LDIuMTFzLjI0LDEuNDcsLjczLDEuODljLjQ4LC40MiwxLjI2LC43MywyLjMyLC45NGwxLjMsLjI2Yy40MiwuMDksLjcxLC4yMSwuODgsLjM2LC4xNywuMTUsLjI2LC4zNiwuMjYsLjYycy0uMTMsLjQ5LS4zOCwuNjZjLS4yNSwuMTctLjU5LC4yNi0xLjAyLC4yNi0uNzcsMC0xLjI5LS4xNy0xLjU2LS41MS0uMjgtLjM1LS40Ni0uNy0uNTMtMS4wM2wtMi4zNywuNzVjLjE4LC44LC42OCwxLjQzLDEuNDgsMS45MWgwWiIvPjxwYXRoIGNsYXNzPSJiIiBkPSJNMTIzLjU2LDM3Ljk1YzAtNS40NCwwLTEwLjg5LDAtMTYuMzMsMC0uNTMtLjAyLTEuMDYtLjA0LTEuNi0uMDUtMS4xNS0uMjItMi4yOS0uNDctMy40MS0xLjY2LTcuNDEtNy4yMy0xMy4zNi0xNC41LTE1LjUtMS42Ni0uNDktMy4zNi0uNzgtNS4xLS44Mi0uNTQtLjAxLTEuMDgsMC0xLjYyLDBoLTM2LjU2di40YzAsNy4xOCwwLDE0LjM2LDAsMjEuNTQsMCw1LjI1LDAsMTAuNTEsMCwxNS43NiwwLC42NiwuMDQsMS4zMywuMDgsMS45OSwuMDksMS4zMiwuMzQsMi42MSwuNjksMy44OCwxLjc4LDYuNDYsNi43MSwxMS43OCwxMywxNC4wNiwyLjM4LC44Niw0LjgzLDEuMjYsNy4zNiwxLjI2LDUuMiwwLDEwLjQsMCwxNS42LDAsLjg0LDAsMS42Ny0uMDQsMi41MS0uMDksMS4wNC0uMDYsMi4wNi0uMjQsMy4wNy0uNDksNS4yMi0xLjMyLDkuMzUtNC4yMSwxMi4zOS04LjY0LDEuNjgtMi40NCwyLjc0LTUuMTQsMy4yNy04LjA2LC4yMy0xLjMsLjMyLTIuNjEsLjMyLTMuOTNoMFptLTIwLjAxLTIzLjc5Yy0uMDMsLjg3LS4xMiwxLjcyLS4zNCwyLjU2LS4zLDEuMTktLjgzLDIuMjYtMS42OCwzLjE1LS42OCwuNzItMS41LDEuMjQtMi40MSwxLjYzLTEuMDcsLjQ2LTIuMTksLjczLTMuMzUsLjg5LTEuMjYsLjE4LTIuNTMsLjIyLTMuODEsLjIxLS42MywwLTEuMjYsMC0xLjg4LDBoLS4zMVY4LjE5YzAtLjYzLC4wMS0xLjI2LC4xMS0xLjg4LC4wMi0uMTEsLjA0LS4yMiwuMDYtLjMzLC4wOC0uNDQsLjMzLS43MiwuNzgtLjg1LC41NS0uMTYsMS4xMi0uMjksMS42OS0uMzQsLjY3LS4wNiwxLjM0LS4xLDIuMDEtLjEsMS4zMiwwLDIuNjIsLjE4LDMuODgsLjY0LDIuNDQsLjg4LDQuMDMsMi41OCw0Ljc5LDUuMDYsLjM4LDEuMjMsLjUsMi40OSwuNDUsMy43N2gwWm0yLjM5LDIwLjQ4Yy4zMiwxLjMyLC40MSwyLjY3LC4zMyw0LjAyLS4wNiwxLjExLS4yNCwyLjItLjYxLDMuMjUtLjg3LDIuNDgtMi41NSw0LjItNC45NCw1LjI1LTEuMDEsLjQ0LTIuMDcsLjczLTMuMTYsLjg5LS45NCwuMTUtMS44OSwuMjItMi44NCwuMTktLjg3LS4wMy0xLjc0LS4wOS0yLjU4LS4zNS0uOTQtLjI5LTEuNTctLjktMS45LTEuODMtLjIzLS42Ni0uMzUtMS4zNS0uNC0yLjA1LS4wNC0uNy0uMDctMS4zOS0uMDctMi4wOSwwLTQuNzUsMC05LjQ5LDAtMTQuMjR2LS40Yy4xMiwwLC4yMS0uMDEsLjI5LS4wMSwxLjEyLDAsMi4yMy0uMDEsMy4zNSwuMDEsMi4wMiwuMDUsNC4wMSwuMjksNS45NSwuODgsLjk5LC4zLDEuOTMsLjcsMi44MSwxLjI1LDEuOTcsMS4yMiwzLjIsMi45NywzLjc1LDUuMjFoMFptMTUuNjQsMy43OWMtLjA0LDQuODQtMS43NCw5LjA3LTUuMDEsMTIuNjQtMi41NywyLjgxLTUuNzIsNC42Ny05LjQyLDUuNThoMGMtLjkxLC4yMy0xLjg0LC40LTIuNzgsLjQ1LS43MSwuMDQtMS40MywuMDktMi4xNCwuMDktNS4zNSwwLTEwLjcsLjAxLTE2LjA1LDAtMy43OCwwLTcuMjYtMS4wNS0xMC40MS0zLjEzLTEuNjgtMS4xMS0zLjE0LTIuNDYtNC40LTQuMDQtMS4wMy0xLjI5LTEuNjMtMi43Ny0xLjg5LTQuNC0uMTgtMS4xMy0uMjItMi4yNi0uMTItMy4zOSwuMS0xLjE2LC4yNC0yLjMyLC4zNi0zLjQ5LC4xMi0xLjExLC4yNS0yLjIyLC4zOS0zLjMzLC4xMy0xLjEsLjI2LTIuMiwuMzktMy4zLC4xMS0uOTYsLjIyLTEuOTIsLjM0LTIuODgsLjExLS45NSwuMjMtMS45LC4zNC0yLjg2LC4xMS0uOTYsLjIzLTEuOTIsLjM0LTIuODgsLjExLS45NSwuMjMtMS45LC4zNC0yLjg2LC4wOC0uNjUsLjE1LTEuMywuMjQtMS45NSwuMDMtLjE5LS4wMy0uMzItLjE4LS40NC0uMzgtLjMtLjc1LS42My0xLjEzLS45My0uMTItLjA5LS4xOC0uMi0uMTgtLjM1LDAtLjg5LDAtMi42NywwLTIuNjd2LS4yN2gyLjQ1di00LjZoLTEuMnMyLjc4LTIuMTcsNC4wOC0zLjE0Yy4xMy0uMSwuMjktLjM0LC4yOS0uNTQtLjAxLS44LDAtMS41NiwwLTIuMzYsMC0uMDgsMC0uMTYsMC0uMjQsLjAyLS4xMSwuMDgtLjE5LC4xOC0uMjIsLjAzLS4wMSwuMDYtLjAyLC4xLS4wMiwuMTQsMCwuMjUsLjA5LC4yNywuMjMsLjAxLC4wOCwwLC4xNiwwLC4yMywwLC44MiwuMDIsMS41NCwwLDIuMzYsMCwuMiwuMTQsLjQ0LC4yNywuNTQsMS4yOSwuOTYsNC4xMSwzLjE0LDQuMTEsMy4xNGgtMS4ydjQuNmgyLjQ2czAsLjI5LDAsLjY5YzAsLjU4LDAsMS42MiwwLDIuMjQsMCwuMTQtLjA1LC4yNC0uMTYsLjM0LS40MSwuMzMtLjgsLjY3LTEuMjEsMS0uMTIsLjA5LS4xNiwuMTktLjE0LC4zNCwuMSwuODcsLjE5LDEuNzMsLjI5LDIuNiwuMSwuODgsLjE5LDEuNzUsLjI4LDIuNjMsLjEsLjg5LC4yLDEuNzksLjI5LDIuNjgsLjA5LC44OCwuMTksMS43NSwuMjgsMi42MywuMSwuODksLjE5LDEuNzksLjI5LDIuNjgsLjEsLjg4LC4xOSwxLjc1LC4yOCwyLjYzLC4xLC45LC4yLDEuOCwuMjksMi43LC4wOSwuODgsLjE5LDEuNzUsLjI4LDIuNjMsLjEsLjg5LC4xOSwxLjc5LC4yOSwyLjY4LC4wOSwuODgsLjE5LDEuNzUsLjI4LDIuNjMsLjEyLDEuMTMsLjE5LDIuMjgsLjQ3LDMuMzksLjA5LC4zNSwuMTksLjcxLC4zMiwxLjA1LC41LDEuMzUsMS40NCwyLjI2LDIuNzgsMi43NiwuNzQsLjI3LDEuNTEsLjQzLDIuMjksLjUyLDEuMTksLjEzLDIuMzgsLjIsMy41OCwuMTUsMS4yNi0uMDUsMi41My0uMSwzLjc5LS4yLDEuODgtLjE2LDMuNzMtLjQ1LDUuNTUtLjkyLC42MS0uMTYsMS4yMS0uMzMsMS44MS0uNTMsMi4xMS0uNyw0LjA4LTEuNjYsNS44Ni0zLDEuOTItMS40NCwzLjQ4LTMuMTksNC41NC01LjM2LC42OC0xLjQxLDEuMDktMi45LDEuMjUtNC40NiwuMi0xLjk3LC4wNC0zLjktLjYtNS43OC0uNzYtMi4yMi0yLjEyLTQtMy45OS01LjQyLTEuNDgtMS4xMi0zLjEyLTEuOTEtNC44Ni0yLjUtLjQ5LS4xNy0xLS4zMS0xLjUtLjQ3LS4wOC0uMDMtLjE2LS4wNS0uMzEtLjA5LC4xMy0uMDcsLjIxLS4xMSwuMjktLjE1LDEuMTctLjU1LDIuMjgtMS4yMSwzLjI5LTIuMDIsMi4zMS0xLjg0LDMuOC00LjE5LDQuMjgtNy4xMiwuNTItMy4xMywuMDMtNi4xLTEuNjItOC44NC0uMS0uMTYtLjIyLS4zNC0uMzYtLjUzLS44My0xLjA2LTIuMjYtMi4zOS0yLjMtMi40NiwuMDgsLjAyLC4xNiwuMDQsLjI0LC4wNyw1LjQxLDEuODksOS4yNiw1LjQ3LDExLjU0LDEwLjczLC42NiwxLjUzLDEuMDgsMy4xMywxLjI5LDQuNzgsLjEsLjc3LC4xNiwxLjU1LC4xNiwyLjMyLC4wMSw1LjgsLjA1LDExLjYxLDAsMTcuNDFoMFpNNzUsMTQuMDRzMS45OCwwLDIuOTgsMGMwLTEuNTUsMC00LjYxLDAtNC42MWgtMi45OHY0LjZoMFptNDIuNDEsNDUuMTR2LTIuNTRoLjk1di0uMzRoLTIuMjh2LjM0aC45NXYyLjU0aC4zOFptMS43LDB2LTIuNDVsLjgzLDIuNDVoLjM0bC44NC0yLjQxdjIuNDFoLjM3di0yLjg4aC0uNTFsLS42OSwyYy0uMDcsLjItLjEyLC4zNi0uMTUsLjQ2LS4wMy0uMDktLjA3LS4yNC0uMTQtLjQzbC0uNjgtMi4wNGgtLjU3djIuODhoLjM3WiIvPjwvc3ZnPg==" height="64" /> .bottom-bar[ {{title}} {{sep}} {{abstract}} {{sep}} Lecture {{lecture}} {{sep}} {{author}} ] --- class: middle # {{title}} ## Structure of Higher Level Languages ### Lecture {{lecture}}: {{abstract}} ### {{author}} --- # About the course * **Instructor:** Tiago (蒂亚戈) Cogumbreiro .alt[(he/him)] ## How to reach me * **Office hours** in person (have priority), or remotely via Zoom * **Announcements** in `#cs450-news-{{section}}` (Discord) * **Q&A** in `#cs450-{{section}}` (Discord) --- # How we are doing remote teaching * **Open door policy, via Discord.** * Message me at any time, any day with your questions. * Channel questions answered first, direct-messages answered second. * I reply as soon as possible, during office hours in the latest. * **Homework assignments** we use a grading server (Gradescope) ## Course webpage .center[ [`cogumbreiro.github.io/teaching/cs450/{{semester}}-{{section}}/`](https://cogumbreiro.github.io/teaching/cs450/{{semester}}-{{section}}/) ] --- # Syllabus .center[ [`cogumbreiro.github.io/teaching/cs450/{{semester}}-{{section}}/syllabus.pdf`](https://cogumbreiro.github.io/teaching/cs450/{{semester}}-{{section}}/syllabus.pdf) ] .space-top.small[ | A | A-| B+ | B | B- | C+ | C | C-| D+ | D | D- | F | |--------:|---|-|-|-|-|-|-|-|-|-| | .small[100..95] | .small[94..90] | .small[89..85] | .small[84..80] | .small[79..75] | .small[74..70] | .small[69..65] | .small[59..55] | .small[54..50] | .small[49..45] | .small[44..40] | .small[39..0] | ] .space-top[] .row[] .col-6[ * Course divided into 9 modules * 1 homework assignment per module * Final grade: 95% homework + 5% participation ] .col-6[ * *Homework grade:* average of **9 assignments** (possibly weighted) * **You must pass 7** out of 9 assignments. If you fail 3 or more assignments (<40 points), then you fail the course. ] --- class: impact # Course requirements --- # Course requirements ### Checklist * Install Racket >=8.2: [`racket-lang.org`](https://racket-lang.org/) * Sign in on GitLab (invitation by email) * Sign in on Discord, say "Hi" in `#cs450-lounge-{{section}}` (invitation link in the GitLab page) * Sign in on Gradescope, upload the template `hw1.rkt` (invitation by email) ## Heads up * Please, .alt[**register using your UMB email address**], otherwise you won't be able to submit your first homework. * The deadline of homework assignment `n` is last class of module `n` plus 1 week --- class: impact # Why learn # the Structure of # Higher Level Languages? --- # Structure of Higher Level Languages > I postponed this discussion, because I felt that you are now better suited to understand and relate to the points being made. * Why learn the fundamental concepts in all programming languages? * Why learn different languages? * Why focus on functional programming? * Why use Racket? ### Disclaimer * Most of these claims are opinions * These will be mostly informal claims * We are **not** trying to find the best language (or programming model) --- # Overview * Languages are just tools, learn which language is amenable to what context * The best programming language does not exist (theoretically most languages are equivalent) * Different languages have different characteristics that favor different domains: for instance, functional languages being used in Programming Language research, C/Fortran in scientific/high-performance computing * A programming language is a computing interface: it is crucial to understand its meaning * The importance of first-class functions and avoiding mutation --- # Semantics and idioms ### Why should we care about language semantics? * **A language is a *computing user interface*.**<br/> We are learning reusable, cross-cutting patterns. * **The semantics must be *unambiguous* and *precise*.**<br/> It is not a matter of personal opinion how a conditional expression works. Language features must be described unambiguously to users. * **The semantics defines a software contract.**<br/> Is the bug in the client's bug, or is it in our code? * **Language idioms (patterns) are transferrable knowledge.**<br/> Understanding idioms (patterns) teaches you something that can be applied across languages and technologies. --- class: impact # How are all languages similar? --- # How are all languages the same? * **Theoretical:** Any input-output behavior implementable in language X is implementable in language Y ([Church-Turing thesis](https://en.wikipedia.org/wiki/Church%E2%80%93Turing_thesis)), and *equivalent to the $`\lambda`$-calculus without numbers* * **Practical:** Reoccurring fundamentals: variables, abstraction, recursive definitions --- class: impact # How are languages different? --- # Disclaimer ## Languages are not slow/fast * A language **implementation** is fast/slow, not the language itself * Certain languages computational models are more amenable to implement efficiently * Languages are user interfaces of computational models .center[ ## How different languages behave in different contexts? ] --- # Why is C faster than all other languages? > Is it because C is "close to the metal?" That is, is C fast because its semantics matches the processor's semantics? -- **No!** * Which processor? How could it match the semantics of all processors? * Which compiler? The key of C's success lays in having good compilers. * C compilers are fast because C is **old and its interface remains stable**! * Popular C compilers are **really** good at optimizing the target language. * There is a set of good practices to write optimizer-ready C code ### Take away > The facts above make C quite successful in High Performance Computing (large scale scientific > codes). .small[ Source: [*C Is Not a Low-level Language: Your computer is not a fast PDP-11*. David Chisnall. ACM Queue vol. 16, no. 2. 2018](https://queue.acm.org/detail.cfm?id=3212479) ] --- # Why is Python slow multithreading? - CPython (the main implementation of Python) is conditioned by the GIL (the Global Interpreter Lock) which effectively serializes parallel execution - To parallelize code we must run multiple processes, where shared memory is especially slow, which, in turn, slows down compute-bound programs ### Take away > Avoid running compute-bound parallel codes in Python. Maybe choose C? .small[ Source: [Global Interpreter Lock. Python Wiki. Last edit in 2017, accessed in 2019.](https://wiki.python.org/moin/GlobalInterpreterLock) ] --- # Constraint language programming > We solve the equation `SEND+MORE=MONEY` where each letter represents a digit in Prolog using a constraint language programming module: ```prolog sendmore(Digits) :- % Source: https://en.wikipedia.org/wiki/Constraint_programming Digits = [S,E,N,D,M,O,R,E], % Create variables Digits ins 0..9, % Associate domains to variables S #\= 0, % Constraint: S must be different from 0 M #\= 0, all_different(Digits), % all the elements must take different values 1000*S + 100*E + 10*N + D % Other constraints + 1000*M + 100*O + 10*R + E #= 10000*M + 1000*O + 100*N + 10*E + Y, label(Digits). % Start the search ``` ### Take away > Some problems are more amenable to certain programming languages. --- # How are languages different? 1. **The implementation matters:** A language implementation may be conditioned (faster/slower) in certain contexts 2. **The model matters:** Certain problems are simpler/more efficient to write in specific languages 3. **The domain matters:** A technology your business needs may only be available in some language (say TensorFlow in Python) --- # Why learn different languages? > Learn at least one new language every year. Source: [*The Pragmatic Programmer.* Andrew Hunt and David Thomas. 1999. ](https://pragprog.com/book/tpp/the-pragmatic-programmer) .space-above[ ### Why should you care * Deeper understanding of the differences and the similarities between languages * Learn different approaches to the same problems * More job opportunities * Better technology choices (some technologies are only available in specific languages) ] --- class: impact # Why functional programming? --- # What is functional programming? * Mutation is discouraged * Higher-order functions serve as a generalization device ## Why should we care? * These features help designing correct, elegant, and efficient software * Functional programming languages are heavily favored by PL researchers, which means they serve as **a test bed for PL design**. Functional programming is close(r) to math formalism, thus implementation is usually simpler in functional programming languages. * **Functional programming is trendy!** C++/Java/C#/Python/JavaScript are all incorporating functional programming idioms. --- # Why should we discourage mutation? * Simpler to reason about: no surprises passing a data-structure to functions/objects * Concurrency-ready: read-only means no race conditions (and no locks), which leads to simpler, faster code ## Who is using it? * `immutable.js` for JavaScript by Facebook * `vavr`, `PCollections`, the Scala runtime, and the Closure runtime for Java * `immer` for C++ * immutable collections for .NET ??? https://doi.org/10.1016/0022-0000(89)90034-2 --- # Why should we use higher-order functions? * Simpler interface than objects (which method? which order?) * Can be combined effectively (frameworks on combining functions) --- # A researcher's Petri Dish > Most programming languages features started out in functional programming > languages. * Garbage collection (LISP, 1959) * Generics (Hindley-Milner-Damas type system 1969/1978, [implemented in ML in ~1977](https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.67.5276&rep=rep1&type=pdf) ) * Higher-order functions (`lambda` expressions in C++, C#, Java, Python) introduced in LISP (1959) and in [ISWIM](http://www.cs.cmu.edu/~crary/819-f09/Landin66.pdf) (1966) * Type inference, <i>e.g.</i>, `auto` in C++, `var` in C# (Hindley-Milner-Damas) * Algebraic-data types and pattern matching ([1970s in Hope](http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.18.8135&rep=rep1&type=pdf)) * Recursion --- # A new wave of languages > Many new interesting programming languages * Swift: next-generation programming language for Apple systems * Rust: functional programming meets system programming * F#: an ML derivate for the .NET ecosystem * Elixir: highly-available distributed system * Clojure: a LISP-influenced language for the JVM and the web --- # How are we using functional programming ? * [**OCaml:**](http://www.ocaml.org/learn/companies.html) web development (Facebook/Meta), distributed systems (Docker), finance (Tezos, Jane Street, Bloomberg, Aesthetic Integration), hardware virtualization (Citrix) * [**Haskell:**](https://wiki.haskell.org/Haskell_in_industry) verification (Facebook), distributed systems (Google), compilers (Intel), distributed systems (Microsoft) * [**Erlang:**](https://codesync.global/media/successful-companies-using-elixir-and-erlang/) communication (WhatsApp), ads (AddRoll), web backend (Bet365), finance (Goldman Sachs) * [**Elixir:**](https://codesync.global/media/successful-companies-using-elixir-and-erlang/) spam prevention (Pinterest), micro services (Lonely Planet) * [**F#:**](https://fsharp.org/testimonials/) data analysis (Kaggle), trading (Credit Suisse), gaming backend (GameSys) * [**Racket**](https://www.reddit.com/r/Racket/comments/5g8xse/are_there_any_examples_of_racket_being_used_in/) game scripting (Naughty Dog), image processing (YouPatch) * [**Scala**](https://alvinalexander.com/scala/whos-using-scala-akka-play-framework) middleware (Twitter), database (Netflix), microservices (Tumblr), web (The Guardian) ### Honorable mentions * [ReasonML](https://reasonml.github.io/), [Elm](https://elm-lang.org/), [PureScript](http://www.purescript.org/), [ClojureScript](https://clojurescript.org/) --- class: impact # Course overview --- # This course is **NOT**... * .alt[**on algorithms**<br/>] For a nice free book read [Algorithms](http://jeffe.cs.illinois.edu/teaching/algorithms/) by Jeff Erickson. * .alt[**an introduction on programming and computing**] <br/> For a nice free book read [How to design programs](https://htdp.org/2018-01-06/Book/) by Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi * .alt[**on programming with Racket**]<br/> For a nice free book read [The Racket Guide](https://docs.racket-lang.org/guide/) by Matthew Flatt, Robert Bruce Findler, and PLT --- # This course is... * .alt[**on designing programming language features**]<br/> We will focus mainly on functional and object-oriented programming. * .alt[**on semi-formal specification**]<br/> We will drive our course with precise mathematical notations and tests. * .alt[**on programming patterns**]<br/> We will characterize patterns and study abstractions of these patterns. * .alt[**on purely functional programming**]<br/> We will approach programming without using assignment (mutation). --- # Today we will learn * a formalism to describe a programming language (Racket) * the semantics of a programming language ## How we will learn it > We introduce one language feature at a time 1. **Syntax:** We formalize each language feature (What) 2. **Example:** We illustrate a feature with an example 3. **Semantics:** We introduce how each language feature works (How) --- # Semantics - Abstract *Syntax:* how we write something. Example, which characters/string we use write a keyword, or a number. - *Semantics:* what that something does/means (evaluation here means as the program runs) > In this class, we focus on the **semantics** of programming languages. > We define the semantics of some programming language features. --- class: middle, center # 1. We shall *not* print to output! ## Instead, we will use *assertions*. # 2. We shall *not* mutate variables! ## Instead, we will use *persistent data structures*. # 3. We shall *not* use loops! ## Instead, we will use *recursion*. --- class: impact # Your first program --- class: hl-alt # Program In Racket, **.alt[everything evaluates down to or is a value]**. A Racket program consists of a preamble followed by zero or more expressions: .box.code[ .metavar[program] = .lit[\#lang racket] .metavar[expression]* ] 1. Racket has no end-of-sentence delimiters (contrary to, say, C-like languages which use semi-colons) 2. Racket evaluates each expression from top-to-bottom, left-to-right > For space-constraint reasons, code listings might omit the preamble. ### Language specification * .code.lit[Grayed out text] represents the concrete syntax * .code.metavar[Italic text] represents a meta-variable --- # Expressions ## Expressions can be values, among other things .box.code[ .metavar[expression] = .metavar[value] | $`\cdots`$ ] --- # Values - **Numbers** - Void - Booleans - Lists - ... --- class: impact # Numbers --- # Numbers > *All numbers are complex numbers.* Some of them are real numbers, and all > of the real numbers that can be represented are also rational numbers, > except for `+inf.0` (positive infinity), `+inf.f` (single-precision variant), > `-inf.0` (negative infinity), `-inf.f` (single-precision variant), `+nan.0` > (not-a-number), and `+nan.f` (single-precision variant). Among the > rational numbers, some are integers, because round applied to the number > produces the same number. Source: [Racket Manual, Section 4.2](https://docs.racket-lang.org/reference/numbers.html) --- # Hello, Numbers! ## Your first Racket program .col-6[ ```scheme #lang racket 10 ; A positive number +10 ; The plus sign is optional -10 ; A negative number 0+1i ; A complex number 1/3 ; A rational number 0.33 ; A floating-point number ``` ] .col-6[ ```bash $ racket nums.rkt 10 10 -10 0+1i 1/3 0.33 ``` ] &nbsp; > **Note:** a semi-colon (`;`) initiates a comment section, which is ignored in Racket. > A semi-colon is **not** a end-of-line marker, like in C-like languages. --- # Expressions are separated by white-space These two programs are equal: .row[ .col-6[ ```scheme #lang racket 10 +10 -10 0+1i 1/3 0.33 ``` ] .col-6[ ```scheme #lang racket 10 +10 -10 0+1i 1/3 0.33 ``` ] ] **Caveats:** `-1` is different than `-`.code.lit[&nbsp;]`1` (notice the white space in between both characters). The former is the negative one, the latter is the expression `-` and the value `1`. Similarly, `1/3` is a single rational number, whereas `1 / 3` are three expressions. --- class: impact # Function calls --- # Function call Delimited by parenthesis and its constituents are separated by white-space characters. The first expression must evaluate to a function, the remaining expressions are the arguments. Each expression is evaluated to a value from left-to-right before applying the function. .box.code[ .metavar[expression] = .metavar[value] | .alt.metavar[variable] | .alt.metavar[function-call] | $`\cdots`$ </br> .metavar[function-call] = .lit[(] .metavar[expression-func] .metavar[expression-arg]* .lit[)] ] For instance, function call `(expt 2 3)`, for exponentiation, returns `2` raised to the power of `3`. Function `sin` computes the sine function of its sole argument. .row[ .col-6[ ```scheme #lang racket (expt 2 3) (sin (expt 2 3)) ``` ] .col-6[ ```bash $ racket nums-func.rkt 8 0.9893582466233818 ``` ] ] .small[ > **Note:** Function calls can be compounded, as the parameters of a function are arguments too. ] --- # No infix notation in Racket There is **NO INFIX NOTATION** for arithmetic operations (unlike most languages). The usual arithmetic operations are all just variables: addition `+`, subtraction `-`, multiplication `*`, division `/`. Example: ```scheme ( * 3.14159 ( * 10 10)) | | | | | | |-> Number | | | | | |-> Number | | | | |-> Variable | | | |-> Function call | | |-> Number | |-> Variable |-> Function call ``` > **Note:** In Racket parenthesis represent function application. Contrasted with most > C-like languages where parenthesis in expressions are optional and only there > to help the reader.