Got asked by a colleague if renaming a variable is considered a #refactoring. Of course it is: https://refactoring.com/catalog/?filter=tags-rename
It is even a powerful and most fundamental refactoring operation. I didn't mention that in #LambdaCalculus the α-conversion is one reductions.

https://rei.iguanasuicide.net/ Has been updated to be this new thing.

It's another #lambdacalculus parser. You put an expression in the text box and it puts it through a tokenizer and parser, and they both live-update as you edit.

I'm still playing with the formatting; I think I can turn flexbox into a tree display. :)

I'd like to do point-at-redex-and-click-to-reduce, but I haven't figured out the state for that.

#combinatorics #lambda #LambdaCalculus #fp #functionalprogramming

I'm only part-way through but I'm already enjoying this paper on the Functional Machine Calculus. https://people.bath.ac.uk/wbh22/index.html#FMC2022

Effects and higher-order functions are both modeled as pushes/pops from independent stacks of values.

Looks like a nice formal treatment of the multistack concatenative idea in the Dawn language! https://www.dawn-lang.org/posts/foundations-umcc/

#PapersWeLove #Concatenative #LambdaCalculus

@Alyzande@social.linux.pizza When #computing was first invented, there was basically two approaches: #AlanTuring had his #TuringMachine where you'd have a pointer moving across a piece of tape reading and overwriting data to perform is computation; #AlonzoChurch had his #LambdaCalculus where computation was purely equational evaluation with no concept of assignment.

The two groups could never see eye to eye, which led to the Separation of Church and State.

#introduction I'm a Lecturer in #ComputerScience at Australian National University #ANU in #Canberra , researching #logic and #typetheory with occasional #categorytheory , and teaching a big course on introductory #programming via #Haskell , plus a little course on #lambdacalculus . I write about old and new(ish) key papers in my fields at my #blog https://updatedscholar.blogspot.com/ . Not a tweeter, but wanted to see if Mastodon worked for me instead!