Alexander Bandukwala

Currying in languages with implicit effects seems sketchy—effectful functions returning other functions obscure when effects are interleaved. Users see it as just multiple arguments, not realizing some parameter applications might be expensive. #ProgrammingLanguages #Currying #AutomaticCurrying

A cacophony of #dongles. Prepping my travel router for all the trips this summer.

You can tell that TAPL was written 20 years ago. #TAPL #ProgrammingLanguages #java

Do you consider #MultiMethods to be inherently #ObjectOriented?

#objects #programminglanguages

Trying to do some more writing. Some thoughts on #WindowManagement #MalleableSystems
https://bandukwala.me/on-compositional-window-management/

I wonder if #StructuredEditors in the large (modules, packages, etc.) and text in the small (function definitions, values) is an interesting design space.

It seems very difficult to have strong ergonomics for full structural editing but using it for large codebase management might be the strongest entry point.

#ProgrammingLanguages #StructuralEditing #IDE

Watching the polytope editor demo and it's sick. https://youtu.be/8g_XCZSY7lM

I really want to work on my frontend skills. I think a lot of PL advancement will come from better interaction design.

#DirectManipulation
#HCI

I'm really struggling with TAPL exercise 6.1.4 and there's no solution in the appendix. I can't tell if I'm supposed to build up the set of n-terms inductively using the previous set or build up each n-terms inductively. #TAPL #TypesAndProgrammingLanguages