[Haskell-cafe] Re: Proposal: TypeDirectedNameResolution

[david48]

> There are other possible language extension that may make qualification
> easier, Pascal's  with  statement comes to mind.
>
>  http://freepascal.decenturl.com/with-statement-pascal
>
> In Haskell, this would work something like this:
>
>  histogram xs =
>      with Data.Map
>          foldl' f empty xs
>          where
>              f m x = case lookup m x where
>                         Just k  -> insertWith x (+1) m

I like both that and TDNR. It would be cool that at least one of them
gets accepted in Haskell prime.

David.