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
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.
The talk is about the tooling gap, which is vast.
Peter Aaser
@PeterAaser
Oh wait I've actually seen this video
yeah it's very interesting
tooling is so important
Ichoran
@Ichoran
I don't think OOP is hard to get right if you only use it for the problems that are shaped like OOP.
Peter Aaser
@PeterAaser
true
Ichoran
@Ichoran
I guess it doesn't help that OOP's sweet spot is really small compared to what it was billed as (solution to everything)
Rob Norris
@tpolecat
Agree, as long as we can disagree about how big the spot it.
Ichoran
@Ichoran
I suspect you think that the spot is the empty set, or perhaps the definition of OOP data structures. ("OOP data structures are a great way to model OOP data structures!")