3 ms·
It's the closest you get to 'λ' on a US keyboard.
by mrkeen 2y ago
It's the closest you get to 'λ' on a US keyboard.
- LAC-Tech 2y agoI believe Haskell uses it as well.
- nemo1618 2y agomy hot take: the language should accept \, but formatters should replace it with λ
- IshKebab 2y agoLean does symbols very well. You can just type \r and it will replace it with a right arrow as you type.
- fuzztester 2y agoIIRC, Richard explain that in one of his videos about Roc. I have seen at least a handful of them.
- IshKebab 2y agoSo this assumes knowledge of an obscure theoretical programming language, and a dubious symbol replacement. Yeah...
- aylmao 2y agoIt doesn't assume it, it's syntax, you can just use it without knowing where it comes from. It's like english. You don't need knowledge in obscure proto-germanic linguistics to use articles in your sentences. But if you want to understand why we seem to randomly attach "a" before nouns— proto-germanic linguistics has the answer (probably, I just speak english I don't know where all its syntax originates).
- myaccountonhn 2y agoFunctional programming is common in university curriculum. Terrifying that it can still be considered obscure.
- postepowanieadm 2y ago^\