Re: [Haskell-cafe] fixed-length bit-vectors

2012-11-22 Thread Aleksey Khudyakov
On 22 November 2012 03:22, Greg Fitzgerald gari...@gmail.com wrote: Hi all, My goal, eliminate the failure case in 'byte': https://gist.github.com/4128503 I don't want my 'byte' function to fail at runtime or return $ Left vector not 8 bits. I want it to return a Word8 for an 8-bit

Re: [Haskell-cafe] QuickCheck Generators

2012-11-22 Thread Anton Kholomiov
An idea. You can make a type: data TestContains = TestContains Tweet TweetSet and the make an Arbitrary instance for it. When you do a recursove call you have three different tweets one new tweet and two from the sub-calls. Then you can place one of them in the result. In the end you will have a

Re: [Haskell-cafe] Compilers: Why do we need a core language?

2012-11-22 Thread Jacques Carette
On 20/11/2012 6:08 PM, Richard O'Keefe wrote: On 21/11/2012, at 4:49 AM, c...@lavabit.com wrote: Well, I don't know. Would it save some time? Why bother with a core language? For a high level language (and for this purpose, even Fortran 66 counts as high level) you really don't _want_ a

[Haskell-cafe] class Bytestringable or ToBytestring

2012-11-22 Thread Vincent Hanquez
Hi cafe, I've been adding lots of types recently that looks more or less like: newtype A = A ByteString data B = B ByteString This is great for extra type safety and letting the compiler do its job, however getting the bytestring back requires boiler plate. At the moment either you

Re: [Haskell-cafe] class Bytestringable or ToBytestring

2012-11-22 Thread kudah
Why not use http://hackage.haskell.org/packages/archive/newtype/0.2/doc/html/Control-Newtype.html instead? On Thu, 22 Nov 2012 14:15:00 + Vincent Hanquez t...@snarc.org wrote: Hi cafe, I've been adding lots of types recently that looks more or less like: newtype A = A

Re: [Haskell-cafe] Compilers: Why do we need a core language?

2012-11-22 Thread Brandon Allbery
On Thu, Nov 22, 2012 at 7:56 AM, Jacques Carette care...@mcmaster.cawrote: On 20/11/2012 6:08 PM, Richard O'Keefe wrote: On 21/11/2012, at 4:49 AM, c...@lavabit.com wrote: Well, I don't know. Would it save some time? Why bother with a core language? For a high level language (and for

[Haskell-cafe] Call for Seattle Area Haskell Users Group

2012-11-22 Thread Eli Frey
Greetings, (x-posted from /r/haskell) I am calling for any interested parties to come together and help me get a SEA HUG going. My boss has offered to provide facilities and foods. I don't think he's expecting much, maybe we can make him second guess the offer :P. I have put together a meetup

Re: [Haskell-cafe] class Bytestringable or ToBytestring

2012-11-22 Thread Vincent Hanquez
On 11/22/2012 03:42 PM, kudah wrote: Why not use http://hackage.haskell.org/packages/archive/newtype/0.2/doc/html/Control-Newtype.html instead? interesting i didn't know about it, however it's seems relatively unknown (can't find any library on hackage that use it) and just like Serialize

Re: [Haskell-cafe] Compilers: Why do we need a core language?

2012-11-22 Thread Richard O'Keefe
On 23/11/2012, at 1:56 AM, Jacques Carette wrote: On 20/11/2012 6:08 PM, Richard O'Keefe wrote: On 21/11/2012, at 4:49 AM, c...@lavabit.com wrote: Well, I don't know. Would it save some time? Why bother with a core language? For a high level language (and for this purpose, even Fortran

Re: [Haskell-cafe] Compilers: Why do we need a core language?

2012-11-22 Thread KC
I believe the question you are asking is why do large software systems need to be designed in terms of levels or some other software engineering construct(s). To manage their complexity as opposed to getting mangled in their complexity. :D -- -- Regards, KC

[Haskell-cafe] To cabal install cabal-install on Windows ...

2012-11-22 Thread KC
- completely remove the earlier Haskell Platform - reboot - defragment the partition/hard drive - reboot - install the newer Haskell Platform - reboot - defragment the partition/hard drive (recommended) - reboot - cabal update - cabal install cabal-install It seems like what is slowing down the

Re: [Haskell-cafe] class Bytestringable or ToBytestring

2012-11-22 Thread kudah
On Thu, 22 Nov 2012 21:14:31 + Vincent Hanquez t...@snarc.org wrote: can't find any library on hackage that use it http://packdeps.haskellers.com/reverse/newtype ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org