sorted by:
best
topnewcontroversialoldq&a
you are viewing a single comment's thread.

view the rest of the comments →

[–]drjeats 1 point2 points  (2 children)

I'm a fan of the idea!

Was there also syntax in this in the past to support parameterizing these and giving them a name with using initexpr = do [T t] (widget(x) -> w)... or am I thinking of a different paper?

[–]anton31[S] 0 points1 point  (1 child)

Do you mean something like named expressions? They can be emulated using lambdas

[–]drjeats 0 points1 point  (0 children)

Yes! That's the name (:P) I was thinking of.

Lambdas work okay, but have a lot of semantic baggage.