Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Activity
  • Oct 18 19:35
    @SethTisue banned @lunaterra22
  • Sep 14 18:08
    @SethTisue banned @discjock:matrix.org
  • Sep 12 20:37
    @SethTisue banned @manuelzamoratetherbtcusa:matrix.org
  • Sep 06 14:29
    @SethTisue banned @white_hat_hacker:minds.com
  • Sep 06 14:29
    @SethTisue banned @alexchole:matrix.org
  • Aug 31 17:03
    @SethTisue banned @andersonwatts7:matrix.org
  • Jul 19 20:37
    @SethTisue banned @tonyobanon
  • Jan 02 23:58
    @SethTisue banned @fakubishes:nerdsin.space
  • Dec 15 2021 05:01
    som-snytt commented #12516
  • Dec 15 2021 04:38
    SethTisue edited #1312
  • Dec 15 2021 04:38
    SethTisue opened #2273
  • Dec 15 2021 04:31
    jackkoenig opened #12516
  • Dec 15 2021 04:29
    SethTisue edited #1312
  • Dec 15 2021 04:28
    SethTisue edited #1312
  • Dec 15 2021 04:27
    SethTisue labeled #9831
  • Dec 15 2021 04:27
    scala-jenkins milestoned #9831
  • Dec 15 2021 04:27
    SethTisue labeled #9831
  • Dec 15 2021 04:27
    SethTisue opened #9831
  • Dec 15 2021 03:35
    som-snytt commented #11339
  • Dec 15 2021 03:27
    som-snytt labeled #12494
Peter Aaser
@PeterAaser
Do you use it in doobie?
Rob Norris
@tpolecat
I have this grand idea for a talk that goes from text file to classfile in one grand hylomorphism but I havent gotten around to figuring out how to do it ;-)
Peter Aaser
@PeterAaser
In what sense, how to make it understandable or how to implement it?
Rob Norris
@tpolecat
Doobie is all built with Free so depending on how much you want to squint it's doing recursion schemy stuff.
Well, both. And how to fit it into a 45-minute talk.
Peter Aaser
@PeterAaser
Just talk really really fast
moritz bust
@busti
hylomorphism sounds really scary
Rob Norris
@tpolecat
Yeah the terminology is really intimidating.
I did a talk at Scala World a few years ago that introduces this stuff pretty gently, if you're interested.
moritz bust
@busti
It is one of those terms where you do not know what to expect in a programming context and then you google it and find out that it is used in philosophy instead.
Rob Norris
@tpolecat
Not even generalized recursion schemes, but enough to get you to understand fixpoint types, which was kind the big mental barrier when I was learning this stuff.
Peter Aaser
@PeterAaser
Yeah, fixpoint types was the difficult part for me too
Rob Norris
@tpolecat
I think the hard part is understanding Fix and ana and cata and then it's just variations of the same ideas.
Peter Aaser
@PeterAaser
it's the sort of thing I like to believe I could explain very easily in an interactive conversation, but not in text or a talk
Fix that is
but in my case just dropping it and coming back to it helped a lot
Rob Norris
@tpolecat
Yeah I had to take a few runs at it before it stuck.
Peter Aaser
@PeterAaser
I just landed a date with a girl who writes C# at her job
It's going to be incredibly hard to me to not go on an autistic rant about the wonders of FP
I usually make a better fifth-impression than first-impression lol
Otto Chrons
@ochrons
:kissing_cat:
Peter Aaser
@PeterAaser
Yeah she has a cat so maybe that's the best way to steer the conversation to what a contrafunctor really is
Rob Norris
@tpolecat
Hey C# has LINQ.
Peter Aaser
@PeterAaser
yeah, true
Otto Chrons
@ochrons
F# as middleground? :)
Peter Aaser
@PeterAaser
now I know what the hascalator crowd feel and why they can't seem to shut up...
wow gitter ate my message
I read functional programming in C#
wait there it came
what the fuck
Otto Chrons
@ochrons
gitter is eventually consistent
Peter Aaser
@PeterAaser
anyways, I did indeed write FP in C# (same concept as red book) and it made me want to scream into the void
Rob Norris
@tpolecat
it's eventually quiescent, i think that's the most we can say
Peter Aaser
@PeterAaser
I was stuck writing C# for a server, and I gotta say, OOP design is really hard to get right
Safe to say I never got it right
Rob Norris
@tpolecat
Yeah it's very hard.
Peter Aaser
@PeterAaser
I tried to write it in a sort of hybrid style
ended up with a platypus
but a platypus not fit for life
Josh
@joshlemer
y'all ever heard of the whole square vs rectangle OOP problem
Peter Aaser
@PeterAaser
In some way or another I'm sure
I want to try smalltalk
it's basically the "true communism" of OOP according to the fans
Rob Norris
@tpolecat
Did you see deech's Lambda World talk? It's really good.
Peter Aaser
@PeterAaser
the one place it worked out
Is it recent? what is it about?
Peter Aaser
@PeterAaser
oh, pretty topical
have you ever written smalltalk?
Rob Norris
@tpolecat
No.