Post by @lindsey@recurse.social

I'm teaching our grad intro PL course for the first time (!) starting this Friday, and I'm gonna do it *my* way, and I'm both scared and excited. It's going to be a *lot* of work. For me, I mean. (And possibly for them! But definitely for me.)

Get ready to read some motherfucking TAPL! There's gonna be some Mike Hicks blog posts from 2015 up in this bitch! Wadler and Blott 1989? You know it! The "From System F to Typed Assembly Language" paper? Abso-fucking-lutely we will

1 Boost

0 Likes

Drew Hess

@[email protected] 3 hr. ago

@lindsey “From System F to Typed Assembly Language” — ooh, I didn’t know about this one, thanks!

Lindsey Kuper

@[email protected] 9 hr. ago

Are we gonna REGARD THE PROGRAMMING LANGUAGE AS HAVING A CENTRAL PLACE IN SOLVING COMPUTING PROBLEMS? HELL YES WE WILL. And are we gonna REASON ABOUT SOFTWARE BEHAVIOR IN A RIGOROUS AND GENERAL WAY? You're goddamn RIGHT we are, because it's fucking AWESOME that we can do that. Is it actually SICK AS HELL that closures are encoded as TAL-level abstractions using motherfucking existential types? YES IT IS, and in ten weeks from now, you're gonna understand WHY it's sick as hell

Rob

@[email protected] 2 hr. ago

@lindsey *nods sagely, and in teaching faculty voice reflects* “students will understand why that’s sick as hell” falls under both the “Conceptual” and “Metacognitive” dimensions of knowledge when developing learning goals under Bloom’s Revised Taxonomy

Lindsey Kuper

@[email protected] 8 hr. ago

Will we REASON ABOUT WHAT PROGRAMS MEAN IN A FORMAL SENSE and GAIN FAMILIARITY WITH CERTAIN WIDELY USED TECHNIQUES for doing so? HELL YES WE WILL. Will we be ESPECIALLY interested in PROGRAMS that OPERATE ON PROGRAMS? Of course we will, because THAT SHIT IS INTERESTING AS FUCK. Will we then ADOPT A VIEWPOINT that will reveal PROGRAMS THAT OPERATE ON PROGRAMS to us EVERYWHERE WE LOOK? Will MANY COMPUTING PROBLEMS begin to take the shape of LANGUAGE DESIGN problems? I SURE AS FUCK HOPE SO!

Lindsey Kuper

@[email protected] 8 hr. ago

Will we then begin to regard OURSELVES as the LANGUAGE DESIGNERS and IMPLEMENTORS we have ALWAYS BEEN? Will we then be EMPOWERED to AVOID COMMON PITFALLS and MAKE MORE INTENTIONAL CHOICES the next time we find ourselves DESIGNING and IMPLEMENTING LANGUAGES, now that we KNOW THAT THAT IS IN FACT WHAT WE ARE DOING? And, will we APPRECIATE OTHERS' THOUGHTFUL DESIGNS ALL THE MORE, and be able to GET THE MOST OUT OF THEM? FUCK YES. FUCK YES WE WILL.

David Beazley

@[email protected] 1 hr. ago

@lindsey Change the wording slightly to STUDENT WILL BE ABLE TO FUCKING DESIGN AND IMPLEMENT A FUCKING PROGRAMMING LANGUAGE and you're now following the template of a typical high school lesson plan.

Chung-chieh Shan 單中杰

@[email protected] 2 hr. ago

@lindsey Yes... Ha ha ha... YES!

chris mort💀ens

@[email protected] 2 hr. ago

@lindsey link to syllabus is going to point to this thread right

Your weary 'net denizen

@[email protected] 2 hr. ago

@lindsey Wow! I really wish I was taking this class!

(Well, to be precise, I wish I had the prerequisite knowledge, and then I wish I was taking this class. 😆 )

Christina Richards

@[email protected] 6 hr. ago

@lindsey I want to have this course’s babies

yomimono, still on earth

@[email protected] 6 hr. ago

@lindsey God DAMN you got me READY TO REASON

Meven Lennon-Bertrand

@[email protected] 6 hr. ago

@lindsey I'm suddenly so pumped

Michael Newton

@mavnn 8 hr. ago

@[email protected] Is there an online sign up for just this course?! PL (and the world, frankly) is badly in need of wild enthusiam directed by knowledgeable intent and tempered in the fires of historical examples, and I for one would be so on board that train