Yuriy Pitomets
Yuriy Pitomets
Something like ```hs type family (.->) :: (Symbol, Type) -> Type -> Type where (label, a) .-> b = Rec (label .== a) -> b ```
> Speaking of partial application, maybe you're thinking more along the lines of a curry function? Something like: ... Yes, exactly. Actually I thinking of analogous to Caml's named arguments.
Thank you for asking. Case 2 make sense to me, because library already have assumption that records must have no several rows with same label, which mach nicely to design....
Amazing results, and the great work, thank you! Though `upcastOptional` looks handy, I, probably, should clarify a little what I mean is: by upcast it meant just casting by hand...
I thought about the way to automate result type (which contains `Maybe` rows) receiving, because we already know the type of record and type class of optionals (there's would be...
Oh, I see a package with named arguments http://hackage.haskell.org/package/named `row-types` could have an integration for curried ones.
Is there any working implementation of such feature yet?
Yeah, I did expect an option in `cabal.project.local` for that, or deprecation message in case it does nothing.
...So I forsed to do hotfix like that: ```objc - (CGFloat)verticalOffsetForEmptyDataSet:(UIScrollView *)scrollView { CGFloat offset = CGRectGetHeight(self.navigationController.navigationBar.frame); offset += CGRectGetHeight([UIApplication sharedApplication].statusBarFrame); if (! self.viewModel.loading) { offset *= 2; // !!!
why just do not use the Nix environment for that?