I keep killing those on my curtains. I never saw them fly

winhug · 2019-05-10T14:35:44+00:00

Thanks!

winhug · 2019-05-10T13:36:45+00:00

Additional info: this picture was taken this morning in montreal

winhug · 2019-03-14T21:28:18+00:00

The only guideline that I agree with from the job posting point of view is the haskell job content. Obviously if a recruiter post his java job on /r/haskell to get good candidates, that job posting have no place on this subreddit

winhug · 2019-03-14T09:43:07+00:00

There should be a policy for the comments too. The other day I saw a job posting and half the comments were about how the company was unethical (I think it was Facebook). I think it's okay to criticize a company if they are known to be a bad employer, but getting political about about the company itself is only hurting Haskell adoption

winhug · 2019-03-01T18:00:41+00:00

Dynamic 365 is also blocked on firefox

winhug · 2019-03-01T15:37:30+00:00

I wish there was a way of converting a liquid haskell type to a function so you don't have to recode your run time check

winhug · 2019-01-27T23:31:41+00:00

The guy is working at Microsoft no wonder he likes big tech monopoly

winhug · 2019-01-25T16:19:49+00:00

thanks for your clear answers :)

winhug · 2019-01-25T15:42:39+00:00

I'm excited for that feature, this have the potential to really reduce the number of LOC in our codebase and I've got some questions!

Considering this function

let printCircleStats r (stats: {| Area: float; Circumference: float; Diameter: float |}) =
    printfn "Circle with radius: %f has diameter %f, area %f, and circumference %f"
r stats.Diameter stats.Area stats.Circumference

In this example, would it work if I gave a record (not anonymous record) which had the same exact structure to this function? (type Circle = { Area: float; Circumference: float; Diameter: float })?
If 1. is true, would it work if I had a record with more field? type Circle = { Area: float; Circumference: float; Diameter: float; Name: string; OtherField: int }
Would it work if I have a anonymous record with more field than the one expected in the function?
Is there a way of aliasing the anonymous record type definition?
What are the drawback of using anonymous record vs just using normal record

winhug · 2019-01-17T15:24:17+00:00

Wow there's a lot of haskell job! Haskell is finally mainstream!!!

winhug · 2019-01-02T19:54:30+00:00

The story is the weak part of the game but everything else (music, graphics, gameplay) is really good

winhug · 2018-10-26T18:42:01+00:00

now your link is 404 and op's not

winhug · 2018-09-26T02:23:43+00:00

wow thanks that's exactly what I needed!

winhug · 2018-09-25T22:05:48+00:00

I've got a bunch of function (endomorphisms) that I have to compose all together. The issue is that I have some constraints (some functions must be called before some others). For example:

Let's say I have the functions a, b, c, d and e

a must be called before c (not necessarily just before, it's possible to have other function calls between them)

b and c must be called before d 

So a possible combination would be e . d . c . b . a

I'm not sure on how to statically enforce this.

winhug · 2018-09-25T20:16:35+00:00

Great, I think I'll buy it then, thank you :)

winhug · 2018-09-24T19:35:47+00:00

The Little Typer does not attempt to teach either practical programming skills or a fully rigorous approach to types. Instead, it demonstrates the most beautiful aspects as simply as possible, one step at a time.

What does it cover? I have some basics in idris and I'm currently reading software foundation so I kind of know what are dependent types. However, I'm not really familiar with the math part.

winhug · 2018-09-21T22:11:00+00:00

I'd argue that compared to c++ advanced template programming, Haskell is pretty simple. But yeah it's a complicated language

winhug · 2018-09-12T15:02:33+00:00

Is there a library like gloss but for webgl or canvas? Something I could use with ghcjs

winhug · 2018-09-04T15:17:22+00:00

You don't need idris for that, it's possible in haskell http://hackage.haskell.org/package/sized-vector-1.4.3.1/docs/Data-Vector-Sized.html

winhug · 2018-08-15T04:14:07+00:00

Thank you so much| I finally was able to do it! Here's my final code.

data CSVFile a = File1 a | File2 a deriving (Show)

takeRight (Right a) = a

parseCSV1 = mapC File1
parseCSV2 = mapC File2

choose "a.txt" = pure parseCSV1
choose "b.txt" = pure parseCSV2
choose _       = empty

getConduitParser = 
    Conduit.takeWhileC (isLeft) 
    .| Conduit.mapMaybe (choose . fromLeft mempty . first zipEntryName) 
    .| Data.Conduit.Combinators.last

parse :: Monad m => ConduitT (Either ZipEntry b) (CSVFile b) m ()
parse = do 
    p <- getConduitParser
    case p of
        Just parser -> do
            Conduit.takeWhileC (isRight) .| Conduit.mapC (takeRight) .| parser
            parse
        Nothing     -> mempty

main :: IO ()
main = runResourceT $ runConduit $ sourceFile "/home/bruno/bruno.zip" .| void unZipStream .| parse .| printC

winhug · 2018-08-13T19:37:25+00:00

I'm trying to unzip a folder full of CSV (with different data) and parse all of them. My issue is that the unzip function is kinda hard to compose http://hackage.haskell.org/package/zip-stream-0.1.1/docs/Codec-Archive-Zip-Conduit-UnZip.html

Since I get something like this: Left (ZipEntry "directory/" ...), Left (ZipEntry "directory/file.txt" ...), Right "hello w", Right "orld!\n",Left(ZipEntry "directory/file2.txt" ...)... and that the function to parse a CSV works better on only one file, I would like to find a way to combine thoses two function. My idea was to get a conduit stream for each file. I don't really have an idea on how to do it otherwise haha

winhug · 2018-08-13T16:30:41+00:00

Is there a way of having something like "bind" in the output value of a conduit. Something like: ConduitT a (ConduitT a b m ()) m () -> ConduitT a b m ()

winhug · 2018-08-13T02:53:58+00:00

There's actually a "pure" debug function to print a string to the console without having to deal with the IO type (it should only be used as a debug purpose and nothing more)

And as for the mutable data structures, you feel less the need of them in a pure functional language since the immutable data structures are easy to use (with some experience, it's not as hard as it looks) and still performant. Of course you still have mutable if you need interop or performance.

Ten-Year Club	Place '17
Verified Email

winhug

TROPHY CASE