Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Activity
  • Sep 19 19:57

    larsrh on master

    Update site at Thu, 19 Sep 2019… (compare)

  • Sep 19 19:45

    larsrh on development

    remove 2019's events (compare)

  • Sep 06 15:09
    milessabin locked #98
  • Sep 06 15:09
    milessabin locked #98
  • Sep 06 15:09
    travisbrown commented #98
  • Sep 06 15:07
    milessabin unlocked #98
  • Sep 05 15:40

    larsrh on master

    Update site at Thu, 05 Sep 2019… (compare)

  • Sep 05 15:27

    rossabaker on development

    fix bad Gitter link Merge pull request #267 from Se… (compare)

  • Sep 05 15:27
    rossabaker closed #267
  • Sep 05 15:26
    SethTisue opened #267
  • Sep 05 14:55

    larsrh on master

    Update site at Thu, 05 Sep 2019… (compare)

  • Sep 05 14:42

    typelevel-bot on development

    new post (compare)

  • Sep 05 06:47
    alonsodomin commented #97
  • Sep 04 21:26
    alexandru commented #97
  • Aug 29 17:09
    milessabin closed #98
  • Aug 29 17:09
    milessabin commented #98
  • Aug 29 13:11
    tpolecat commented #98
  • Aug 29 13:09
    tpolecat locked #98
  • Aug 29 13:09
    tpolecat commented #98
  • Aug 29 12:07
    benhutchison opened #98
Guillaume Martres
@smarter
it's pretty famous in type theory :)
Ryan Peters
@sloshy
I knew I should have finished reading those books
...So how do you say that aloud?
Guillaume Martres
@smarter
System F-omega
Ryan Peters
@sloshy
Ah, right
sloshy @sloshy crawls back into the hole from whence he came
Miles Sabin
@milessabin
@smarter you're quicker off the mark digging out the wikipedia anchors than me ;-)
Martijn Hoekstra
@martijnhoekstra
oh dear, I only now realize that the w is supposed to be an omega
Ryan Peters
@sloshy
Anyway I asked because I was watching Fabio's talk on fibers and thought it was a great introduction, was talking about it with some coworkers, and then I wondered how to pronounce that username since I figured Fw must be short for something (guess I was wrong)
Miles Sabin
@milessabin
Fabio comes from a loooooooooooooooooooooooooooooooooooooooooooooong line of ω's ...
Ryan Peters
@sloshy
It's times like this that I realize just how little I really know about FP beyond how you apply it to problem solving
I have a book on lambda calculus I never got around to reading, FP in Scala... Not much else. A lot of things I just pick up from day to day use and watching talks. Any good resources on the historical context for modern FP?
Guillaume Martres
@smarter
I would start here: https://en.wikipedia.org/wiki/Intuitionistic_type_theory
also fun: https://en.wikipedia.org/wiki/Lambda_cube
Miles Sabin
@milessabin
I'm not sure I'd recommend those as starting points.
Types and Programming Languages, Pierce is the canonical textbook. Early chapters are very readable.
Ryan Peters
@sloshy
Good to know @ all of the above, thanks! My college programming instruction was very heavily "2004-esque Java" (despite it being the 2010s) and we did not go into FP at all except in this one course. A student was asking in discrete mathematics "why any of this would be useful, I don't need this in my job, etc.", so the professor turned the course into a discrete-math-and-related-concepts-via-haskell course the following week.
At least I think it was discrete math Yep it was
Fabio Labella
@SystemFw
lol
it's definitely obscure if you're not into FP
but it's staple of type theory. Most modern functional languages have their roots in a variant of System F
in particular, traditionally haskell comes from SystemFw
although it's moved past that now (SystemFc, towards SystemDc)
Luka Jacobowitz
@LukaJCB
I remember hearing about the Lambda Cube for the first time, my mind was blown :smile:
Fabio Labella
@SystemFw
(SystemFw in particular is a system with parametric polymorphism at the type level, so id :: a -> a , and simply typed lambda calculus at the kind level, so the * -> * notation we use to describe things of shape F[_] )
Otto Chrons
@ochrons
look, it's the Lambda Cube! You will be assimilated!
Seth Tisue
@SethTisue
not to be confused with Time Cube or Gelatinous Cubes
Gavin Bisesi
@Daenyth
Time Cubes are just Comonads in the category of times! :trollface:
Long Cao
@longcao
I dunno about y'all but I kept misreading it as SystemFtw for awhile
Ryan Peters
@sloshy
@longcao stealing that name for my fabio parody twitter account
(/s)
Ross A. Baker
@rossabaker
Don't do anything that makes Fabio get a real Twitter account. He's too smart for that, and we want to keep him that way.
Fabio Labella
@SystemFw
btw I do pronounce my handle at the end of every talk I give :P
Ryan Peters
@sloshy
I could have sworn you did not. Just checked, you actually did at the end of the fibers talk
Just rather quickly so I must have missed it (it was also right when the music started playing again)
Martijn Hoekstra
@martijnhoekstra
I'm now convinced you are deliberately rustling my ω jimmies
Christopher Davenport
@ChristopherDavenport
Announcing the release of the very minimal sbt-no-publish 0.1.0. This plugin just disables publishing, like we have all individually done in all our projects.
Github
Twitter Anouncement
Michael Pilquist
@mpilquist
@ChristopherDavenport I tried to use sbt-mima-version-check in fs2 and ran in to an issue where version 2.1.0-SNAPSHOT reports no versions to check. I think issue is the check for patch > 1 here: https://github.com/ChristopherDavenport/sbt-mima-version-check/blob/master/core/src/main/scala/io/chrisdavenport/sbtmimaversioncheck/MimaVersionCheck.scala#L41
Christopher Davenport
@ChristopherDavenport
KK, I'll try to get a fix for it this weekend. It's fairly simple to get new test cases, trying to remember why I did that. I thought I had a reason at some point, but if it's causing a miss then it's a bug. As 2.1.0 should check 2.0.0
Michael Pilquist
@mpilquist
Thanks!
Gabriel Volpe
@gvolpe
Back to the Mergify topic: Do you guys have branch protection settings on master? I can't get it to work. profunktor/http4s-tracer#116
m1
m2
These are my settings. And I just disabled the "Rule: automatically merge Scala Steward...." from the status check requirements since it doesn't make sense for other PRs
Lars Hupel
@larsrh
I'm unaware of any TL project that has Mergify enabled at the moment
Gabriel Volpe
@gvolpe
Http4s does @larsrh
Ross A. Baker
@rossabaker
Yeah, @ChristopherDavenport set it up for us. Works great when the tests do. Projects without flaky blaze tests should like mergify even more than we do!
Gabriel Volpe
@gvolpe
Lol :smile: I think it's great to automatically merge Scala Steward PRs.
I contacted Mergify to see whether they can help me out but I guess I'll need to wait until Monday...
Lars Hupel
@larsrh
Ah, I should've been more specific ... TL project under the TL GitHub ;)