bollu 2017-03-05 09:46:22
also, what the hell are the "photontorpedo" quotes IIRC?
bollu 2017-03-05 09:46:26
they were ridiculous
bollu 2017-03-05 09:46:29
@quote photontorpedo
lambdabot 2017-03-05 09:46:29
No quotes match. My mind is going. I can feel it.
bollu 2017-03-05 09:46:31
hm
c_wraith 2017-03-05 09:46:39
protontorpedo
thoughtpolice 2017-03-05 09:46:43
@protontorpedo
monochrom 2017-03-05 09:46:43
They were a troll.
lambdabot 2017-03-05 09:46:44
scheme, lisp, php, python, perl, tcl, al banned
monochrom 2017-03-05 09:47:21
But they became so funny, we created a dedicated lambdabot storage.
bollu 2017-03-05 09:47:34
I see
bollu 2017-03-05 09:47:38
lol
bollu 2017-03-05 09:47:45
@protontorpedo
lambdabot 2017-03-05 09:47:45
and haskell is not a lisp. correct? holy shit then m learning haskell
bollu 2017-03-05 09:47:54
(can I spam?)
nbro 2017-03-05 09:48:09
:t maybe
lambdabot 2017-03-05 09:48:11
b -> (a -> b) -> Maybe a -> b
monochrom 2017-03-05 09:48:12
No, but you can pm lambdabot for more
nbro 2017-03-05 09:48:14
:D
bollu 2017-03-05 09:48:19
ooh, right, thanks
nbro 2017-03-05 09:52:42
hey, guys, I guess this has probably been discussed many times, but what do you haskellers not like about Haskell?
monochrom 2017-03-05 09:54:26
I don't like plain text files.
davean 2017-03-05 09:54:29
nbro: I don't like that I can't serialize computations
bollu 2017-03-05 09:54:55
"Shiruka says: the operations with irc://irc.freenode.net:6667/# in GHC gain their speed from the fact that they are executed on the newer and hence superior and faster .NET platform" my god, that is gold
MarcelineVQ 2017-03-05 09:55:00
having to write out all the superclass instances of a given class instance instead of being able to selectively choose what ones I want to over-ride if at all
stevenxl 2017-03-05 09:55:27
i folks. Quick question - how do I turn changeset errors into user-friendly messages?
stevenxl 2017-03-05 09:55:29
For example: `%{title: ["should be at least 3 characters"]}` how does that get transformed into "Title should be at least 3 characters"
MarcelineVQ 2017-03-05 09:55:33
that could be shorter: *boilerplate
stevenxl 2017-03-05 09:55:49
I can certainly write the function myself, but just wondering if there's already a function in ecto i should be using
bollu 2017-03-05 09:56:38
"sum is just the free monoid functor applied to the mediating arrow of the terminality of ()" <- someone explain this to me?
stevenxl 2017-03-05 09:56:55
woops
stevenxl 2017-03-05 09:56:58
sorry wrong chan!
c_wraith 2017-03-05 09:57:11
bollu: sounds like gibberish to me
bollu 2017-03-05 09:57:17
c_wraith: yeah
xubunto 2017-03-05 09:57:42
almost as if someone wanted to sound smart
bollu 2017-03-05 09:59:34
"TacticalGrace says: irc://irc.freenode.net:6667/#haskell in action: discussion about first-year teaching turns into an argument about CT and Kan extensions" I would love for some context on this
c_wraith 2017-03-05 09:59:48
:t getSum . foldMap (const 1)
lambdabot 2017-03-05 09:59:51
(Foldable t, Num c) => t b -> c
bollu 2017-03-05 10:00:26
c_wraith: is that the context?
c_wraith 2017-03-05 10:00:46
No, that's a demonstration of how to actually write sum using a free monoidal approach
bollu 2017-03-05 10:00:59
c_wraith: how is this "free monoid"?
c_wraith 2017-03-05 10:01:00
as foldMap is more or less toFreeMonoid
ski 2017-03-05 10:01:35
@ghc
lambdabot 2017-03-05 10:01:35
Bad eta expand
c_wraith 2017-03-05 10:01:38
bollu: http://comonad.com/reader/2015/free-monoids-in-haskell/
bollu 2017-03-05 10:01:53
c_wraith: ooh, thanks
dbohdan 2017-03-05 10:03:18
I found what looks like another discrepancy in how Haskell's socket Handles behave under Windows and *nix.
davean 2017-03-05 10:03:42
dbohdan: I'm not suprised, which one is this?
dbohdan 2017-03-05 10:03:50
If you kill a lightweight thread waiting on hGetLine on a Handle on *nix, it stops the thread instantly. On Windows, it waits for hGetLine to receive its input.
dbohdan 2017-03-05 10:04:44
http://lpaste.net/1112499561634463744
bollu 2017-03-05 10:09:12
'dibblego: says: category theory and spring are quite different types of "hard to understand". it is possible to come to understand category theory for example.'
benzrf 2017-03-05 10:09:38
lol
bollu 2017-03-05 10:09:52
this one too: "Coq is a tool for turning ordinary programs into POPL papers"
benzrf 2017-03-05 10:09:58
true
dbohdan 2017-03-05 10:11:41
From what I've seen so far my impression is that you shouldn't use socketToHandle in applications intended to run on both *nix and Windows. Is this reasonable?
SepakoRayl 2017-03-05 10:19:48
yo
hsk3 2017-03-05 10:20:00
yo
SepakoRayl 2017-03-05 10:20:20
guys is anyone familiar with Alex?
SepakoRayl 2017-03-05 10:21:14
I am having a small problem with strictness
dmwit 2017-03-05 10:24:00
?where justask
lambdabot 2017-03-05 10:24:00
Just ask your question. If somebody knows, they'll answer. If not, they won't, and you'll wait around; it will be no worse than having nobody who wants to claim expertise.
bollu 2017-03-05 10:24:12
"this is like pokemon but with type systems" oh my god, that is gold
ertes 2017-03-05 10:25:27
sounding smart is not that difficult: "inheritance is just an end of products in the category of meta-meetings"
SepakoRayl 2017-03-05 10:27:13
ok here is the thing Alex provides an `alexMonadScan :: Alex result`
SepakoRayl 2017-03-05 10:27:27
how do I format code snippets?
dmwit 2017-03-05 10:28:32
?where paste
lambdabot 2017-03-05 10:28:32
Haskell pastebin: http://lpaste.net/
bollu 2017-03-05 10:29:34
:t (??)
lambdabot 2017-03-05 10:29:40
Functor f => f (a -> b) -> a -> f b
bollu 2017-03-05 10:29:48
oh, OK
