> On Sep 30, 2016, at 6:36 PM, Baldur Blöndal wrote:
>
> Shot in the dark: Would extensions like QuantifiedConstraints or
> ImplicationConstraints, if implemented, help with ImpredicativeTypes?
I don't think so. The challenge with ImpredicativeTypes is retaining
predictability of type inferen
Hi Carter,
Thank you, I'm glad to hear it :)
Haskell community is beautiful and great.
Regards,
Takenobu
2016-10-02 3:41 GMT+09:00 Carter Schonwald :
> Thank you so much. I know I've said it before. But the slides / notes
> you've taken the time to write and circulate before have been truely
Hello everyone,
I just opened Pull Request #15 [1] against the ghc-proposals repository,
describing a propsed extension to the syntax of the SPECIALISE pragma,
allowing significantly more concise usage.
Please give it a read through and leave your comments. Thanks!
Cheers,
- Ben
[1] https://
Hello everyone,
I just opened Pull Request #16 [1] against the ghc-proposals repository,
describing the new Type-indexed Typeable machinery that we would like to
introduce with GHC 8.2.
Please give it a read through and leave your comments. Thanks!
Cheers,
- Ben
[1] https://github.com/ghc-pr
On Sat, Oct 1, 2016 at 4:47 PM, Simon Marlow wrote:
> A nice trick for dealing with stacked diffs in Phabricator is to use "git
> rebase -i" to modify diffs in the middle of the stack. You can also insert
> "x arc diff" between lines to automatically update later diffs on
> Phabricator after a r
A nice trick for dealing with stacked diffs in Phabricator is to use "git
rebase -i" to modify diffs in the middle of the stack. You can also insert
"x arc diff" between lines to automatically update later diffs on
Phabricator after a rebase lower down the stack.
You only need a single branch for
Thank you so much. I know I've said it before. But the slides / notes
you've taken the time to write and circulate before have been truely great.
How can I and others help encourage you and others to keep up the great
work on that side?
Good synthesis notes that help orientate new and old contri
Main discussion is here (
https://github.com/ghc-proposals/ghc-proposals/pull/10).
BTW, I prepared a conceptual web page about following.
> Furthermore, we provide a simple search box for multiple wiki sites.
> (Please wait for a while. I'll prepare simple-conceptual demonstration
with web.)
H