« first day (1660 days earlier)      last day (3292 days later) » 

11:00 PM
@sehe night
 
@sehe good night
 
@AndyProwl Oh sure. Exaggerate all you want. Just don't be surprised to see others doing it (I hope you don't hate that :))
And I'm off :)
 
Cheers
 
@Ell Then no, not really. It amounts to how ad-hoc polymorphism (aka function overloading) is handled, again. You can’t introduce overloads silly-nilly in Haskell, as mentioned. And the typing rules for e.g. type class methods mean there is not really a counterpart to (nor a need for) e.g. function templates.
That is, if you refer to e.g. (==) it’s really referring to the whole overload in Haskell.
 
I hate how mega does the stealthy download shit, I cancelled a 5 GB download in the middle
 
Ell
11:02 PM
Yeah
 
now where do I go to confirm shit from it isn't still saved on my hdd
 
Ell
hmm
 
I used the firefox addon shit for mega
 
shit addon
 
Ell
Coq sounds really cool
 
11:06 PM
@Ell You like Coq?
 
Ell
@Borgleader I'll be honest, I've never actually tried it. I am however, open to experimentation with coq. It looks very hard though
 
ah ffs opera sux
 
@Borgleader 1 is not statistically significant
 
@LucDanton ???
oh wait im plonked
 
11:11 PM
@Nooble see I was right, TSM wonned
always bet with alex m.
 
Damn itttttttt.
 
Are these similar to monads?

Player >> attack >> Enemy;
Player >> Renderer;
Input >> move_mapper >> move >> Player;
Enemy >> cast_spell >> Player;
 
if you explain the purpose of the fast forward operators... maybe
3
but I'll take a guess and say it's not
 
@AlexM. attack would allow certain types to attack other types
A renderer would take Renderable types
 
11:19 PM
lol "fast forward operators"
 
A move_mapper takes Input and maps it to a move struct, which then is applied to the Player
 
@Cinch Do you know what a monad is?
 
@DonLarynx It was something about process archtypes with type or something
 
That's wrong right?
 
11:22 PM
So I converted a 93 min talk video from mp4 (H264) to webm (vp9), encoding took forever, but the file size went from 826MB to 466MB with very minimal quality loss :)
 
@Cinch No.
@DonLarynx No.
 
I thought a monad is supposed to create some sort of process binding, like pipes or something
 
@DonLarynx Noooooooooo
 
ok, i'm wrong. fuck
 
Ell
Let me have a go
A monad defines bind and return
 
11:24 PM
If I can bind a type into another, then I should be able to do chain operations if the types match up, right?
 
Ell
Its been a while since I've done FP. And I didn't do it for very long, so I'm probably not specific enough for a monad
 
@Ell like an assembly line?
 
OH "the problem with monads is that once you understand them, you lose he ability to explain what they are"
so true
 
If you’re not using Haskell, it doesn’t matter what it is. If you are, start with understanding the monad instances rather than the monad class itself. If you are starting, you will encounter very little code that is generic over monads—which is the only time you need to grok class Monad.
 
@LucDanton All I want to know if what I'm proposing are monads.
 
11:26 PM
Playing with (diagonal) lists, IO, Reader or what have you is each interesting in its own right, and where you should begin.
@Cinch It’s very unlikely and if it were, who cares?
 
@LucDanton Then what is it?
 
@Cinch Function calls? Why are you asking me? Aren’t you the one putting forth those things? (This is a rhetorical question.)
 
I'm just saying if I create a system such that I can bind static types to property types and requirements, then I could be able to compose functions from functions that operate on properties or concepts
i.e. if a Player is a Unit, then it should be able to attack another Unit
if a Player is renderable, then it should be able to be rendered by a Renderer
Otherwise compiler error: concepts or properties do not match up.
 
I already answered.
 
11:31 PM
@LucDanton Well does it sound different?
 
Ell
@Cinch this doesn't sound any different to java style interfaces
 
Or just function declarations.
 
Ell
And it doesn't sound like what yoy were describing earlier
Yeah or that :P
 
@Cinch It sounds entirely unrelatable, as if asking if blue tastes saltier than sad does. None of those things belong to the same realm.
 
50 mins ago, by R. Martinho Fernandes
T f (U) // changes U to T, impressive.
 
11:34 PM
@R.MartinhoFernandes Except what if I want T or U to be a generic type that guaranteed has certain fields of data or operations? (Interfaces?)
 
Just go back to your book.
 
@Cinch If you string words together without consideration, most of the time you end up with nonsense. Yet you keep thinking the result is insightful.
 
hmm
sometimes it still feels strange to realize that I am gainfully employed.
 
Ruh-roh!
 
Ell
I don't know what gainfully means
 
11:42 PM
it means for my own substantial financial gain.
 
@Ell with gain
 
Best souvenir ever.
 
Ell
@Puppy why does it feel strange?
 
@Ell Because a lot of the benefits of being gainfully employed are taking a little while to filter through for various reasons.
for example, paying off a loan I took to buy furniture to move here.
 
I'm too tired from debugging to celebrate
but I am content
 
Ell
I'd saying paying off a loan is a benefit
Oh wait that's what you're saying
 
I wonder if I could get a contract with Amazon to re-write the PC Kindle reader. It's fucking total crap. I takes a minute to start up, (prolly java), is far too fond of circulating arrows and blows up every other day. Amazon should be ashamed of it.
 
PC kindle reader? What's the advantage of that over pdfs with a normal pdf reader?
 
It can read non-PDF formats.
 
Ell
11:57 PM
Boy first past the post system sucks
 
walked right into that one!
 
Ell
What do they have in Germany?
 
@Ell Sure but it's not a benefit that I really feel. I mean, technically I own the furniture, but for me, I moved from one place with furniture to another place with furniture.
 
Ell
@puppy but this times its your own furniture!
To do with it what you want
 
sure, but it doesn't do anything except furnish.
 
Ell
11:58 PM
Yeah true
 
and another example is that whilst working, I've paid a bunch of tax that I now need to claim back.
so I'm going to get effectively more than another month's pay for free (yay!) but not immediately.
 

« first day (1660 days earlier)      last day (3292 days later) »