On Thu, Jan 19, 2012 at 15:02, Edward Z. Yang wrote:
> Oleg has described a grody hack which achieves this effect.
>
>http://okmij.org/ftp/Haskell/types.html#partial-sigs
>
> I agree more first class support for this would be nice.
>
> Edward
>
That's an amusing hack, but does it provide any
On Thu, Jan 19, 2012 at 13:16, Aleksey Khudyakov
wrote:
> On 20.01.2012 00:37, Nicholas Tung wrote:
>
>> Dear all,
>>
>> I wanted to voice support for a partial type annotations. Here's my
>> usage scenario: I have a monad for an imperative EDSL, which h
Dear all,
I wanted to voice support for a partial type annotations. Here's my
usage scenario: I have a monad for an imperative EDSL, which has an
associated expression data type,
class (Monad m, Expression (ExprTyp m)) => MyDSLMonad m where
data ExprTyp m :: * -> *
and you write impe
Just a quick, logistical question: I see constraint kinds didn't make it to
GHC 7.2.2; does anyone have guesses when the extension will roll out in an
official release? Our research team is interested in using Haskell for an
EDSL, and having both constraint kinds and access to all of the libraries
On Sat, Jun 18, 2011 at 8:59 PM, Ivan Lazar Miljenovic <
ivan.miljeno...@gmail.com> wrote:
> On 19 June 2011 13:48, Tom Murphy wrote:
> > Hi List,
> > If my choice of Lunix distro depended 100% on its solidness as a
> > Haskell devel platform (I am), what would you all recommend?
>
> In no part
On Thu, May 19, 2011 at 3:21 PM, Henning Thielemann <
lemm...@henning-thielemann.de> wrote:
>
> On Thu, 19 May 2011, Nicholas Tung wrote:
>
> Hi all,
>> I am curious if there is an avenue to make suggestions / comments
>> about libraries?
>> For example
Hi all,
I am curious if there is an avenue to make suggestions / comments about
libraries? For example, "proc" in System.Process conflicts with the Arrows
notation "proc", yielding confusing error messages.
thanks,
Nicholas — https://ntung.com — CS and Mathematics major @ UC Berkeley
Just a thought -- I'd rather pay for a journal or the like than only give a
donation. (The web journals are great, but I find it easier on the eyes to
read print instead of a computer screen.)
cheers,
Nicholas — https://ntung.com — CS and Mathematics major @ UC Berkeley
On Tue, May 10, 2011 at 3:
Hi Ryan,
On Sun, May 8, 2011 at 12:06 AM, Ryan Ingram wrote:
>
> However we know the behavior of these functions, and you can hack around it
> with a manual show instance that takes advantage of that knowledge:
>
> instance Show t => Show (AV t) where
> show (AVLeft a) = drop 5 $ show (Left a
Dear all,
I'd like to write a function "maybeShow :: a -> Maybe String", which
runs "show" if its argument is of class Show.
The context and motivation for this are as follows. I have a GADT type
which encapsulates abstract-value computation (or constants or error codes),
a snippet of whi
10 matches
Mail list logo
