Conversation

Classic Simon Peyton-Jones slide on "the power of the dot". I think everyone realizes on some level that this is the best part of OO, but curiously few acknowledge it explicitly. (source: microsoft.com/en-us/research)

What I envy about OOP
The power of the dot
IDE magic
overload short function names

read image description

ALT

300

@jntrnr

May 11, 2021

I wonder if folks have looked into creating "IDE-friendly" functional languages. I feel like this should be a thing.

Brendan Zabarauskas

@brendanzab

May 11, 2021

Lean lets you use `.` for this stuff - not sure how good the autocompletion is like though, although the editor integration is really nice.

Brendan Zabarauskas

@brendanzab

May 11, 2021

In general FP languages tend to be super great at hole-driven development tooling where you're refining programs with missing parts, based on the expected type. It's a bit different to the OOP approach though. Agda, Haskell, and Idris use this style.

Replying to

and

This is something I wish Rust had - the ability to have 'typed holes' in expressions and patterns that you could interact with via your editor. For example interacting with `match` is kind of a chore without it :(

11:38 PM · May 11, 2021Twitter Web App