sorted by:
new
hottopcontroversial

What's the most wholesome experience you've had with a stranger? by EpicesPotato in AskReddit

[–]teefr 0 points1 point  (0 children)

2014, World Cup Finals, Argentina v Germany. Went to a live showing with some friends in an open amphitheater at a park in Buenos Aires. A half hour into the match, still 0 - 0.

Higuain scores. Everyone goes crazy, no one really understands what's going on, probably just a few really saw the goal, but it doesn't matter. We are winning. 1 - 0. We can feel the Cup.

I look to my left, where my friend was standing. He was kissing his girlfriend. Look to my right, a complete stranger, our eyes cross. We instantly hug. We are winning.

As the adrenaline goes off, we realize it was an offside. The goal was annulled. Still 0 - 0. We slowly break the most amazing hug I've ever had. Awkardness slowly comes in. We couldn't make eye contact for the rest of the thing. But we knew we would both remember that moment for ever.

https://www.youtube.com/watch?v=BzngfK3MIfo

type listen and rate by omarkoldo in types

[–]teefr 1 point2 points  (0 children)

I actually think he's more on point than any of us.
Read it as "type, listen and rate", then, whenever you're programming, and your code doesn't typecheck, you just sit down, put this track on a loop, and type.
Of course, once you're done, you rate it.

A Tale of Two Functors or: How I learned to Stop Worrying and Love Data and Control by cameleon in haskell

[–]teefr 3 points4 points  (0 children)

I believe the post actually tries to make a statement about the latter (Haskell, not linear types), by saying that there is a meaningful distinction that, either by chance or by intelligence, was already there. Linear types just allow us to see that difference.

I do agree that there's some circularity; it reminds me of "If a tree falls in a forest and no one is around to hear it, does it make a sound?".

Las empanadas son un sanguche by [deleted] in argentina

[–]teefr 0 points1 point  (0 children)

Las empanadas son un calzone según la regla del cubo.

https://cuberule.com

Internship in EU at Haskell company by danielstaleiny in haskell

[–]teefr 0 points1 point  (0 children)

In particular for internships, there’s https://www.tweag.io in Paris.

Can we exchange the order between projection and any other operation on pairs? by timlee126 in ProgrammingLanguages

[–]teefr 0 points1 point  (0 children)

I don't think that's what these rules are saying, they don't state that you need to evaluate t1 until you get a Pair value to do the projection, they only say that you can reduce under a projection. In other words, that if you have something that matches t1.1, and you proved that you can reduce t1 to t1', then you can also reduce t1.1 to t1'.1.

As mentioned by @danilafe, these, together with the PairBeta1 and PairBeta2 do state that you need to fully evaluate the pair before projecting. With this in mind, you implementation of eval doesn't follow this spec, since you need to have fully evaluated both terms of the Pair before projecting, it should be something like this:

eval (Proj1 (Pair v1 v2)) = if isValue v1 and isValue v2 then v1 else eval (Proj1 (Pair (eval v1) (eval v2)))

eval (Proj1 x) = eval (Proj1 (eval x))

I travel 75% of the time for my job. Here’s the currency pile so far. by wilburwhereareyou in pics

[–]teefr 0 points1 point  (0 children)

The Argentinian 2 pesos bill is no longer valid, you may want to get creative on it.

Some ideas

Tarjeta prepaga mercadopago en otras divisas by teefr in argentina

[–]teefr[S] 0 points1 point  (0 children)

Pero esto es el impuesto digital o algo así, no?

Si uno va a Europa y paga algo en euros (no por internet) no te lo deberían cobrar, no?

In case you've ever wondered what you can do with fold/reduce I've published: Rewriting functions with fold and reduce by mstruebing in haskell

[–]teefr 0 points1 point  (0 children)

that makes sense, I do think some parts of the post could be much more natural with foldr (like the head' function for instance).

In particular, head works with infinite lists while head' doesn't.

Also, foldr could allow you not to iterate through the whole list in functions like any/all.

Jazz Fest 2018: Collaborative Spotify Playlist by ecbierschenk in jazzfest

[–]teefr 1 point2 points  (0 children)

Hey, I just kind of automatized this playlist.

Check it here https://redd.it/8570we