Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Course description is similar to Nadia Polikarpova's CSE 130 at UC San Diego #3

Open
jacksoncooper opened this issue Jun 20, 2023 · 0 comments

Comments

@jacksoncooper
Copy link

jacksoncooper commented Jun 20, 2023

From the course website for CS 162,

Programming Languages are the bricks, mortar and steel of the information age. Over the last thirty years, a variety of languages with diverse features have been developed, expressive radically different perspectives of the idea of computation. CS 162 is an introduction to these different perspectives, the fundamental concepts of languages, and how modern language techniques and idioms can be used to engineer software systems. For this purpose, we will learn how to build a new programming language, λ+, from scratch, including its operational semantics, type checking, type inference, and correctness.

From the course website for CSE 130,

Programming Languages are the duct tape, bricks, mortar and steel of the information age. Over the last thirty years, a variety of languages with diverse features have been developed, expressing radically different perspectives of the idea of computation. CSE 130 is an introduction to some of these perspectives, as well as the fundamental concepts of languages. We shall focus in particular on one paradigm – functional programming as embodied in the lambda calculus and the Haskell language. Many students will be encountering this paradigm and these languages for the first time. As with spoken languages, these are best absorbed by immersing yourself in the different environments and practicing your skills by experimentation.

I'm not sure which came first, or if this was written using a language model, but if this language is borrowed from Nadia's class CS 162 should credit them.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant