These are chat archives for typelevel/general

31st
Mar 2016
Greg Pfeil
@sellout
Mar 31 2016 05:15
I’m giving a recap of Typelevel/NEScala at work tomorrow. If anyone has things they thought were particularly interesting / useful, please message me to jog my memory. Thanks!
Adelbert Chang
@adelbertc
Mar 31 2016 05:30
@sellout im doing the same for my job, though in a couple weeks
streaming IO seemed to be a big topic at NEScala, 3 talks centered around it
also a lot of FP going around in general
those are the points ive thought of thus far
would be interested in seeing your slides when youre done, if possible :-)
Greg Pfeil
@sellout
Mar 31 2016 05:31
@adelbertc Yeah, that’s a good point, re: streaming. I definitely noted the surprisingly high level of FP.
@adelbertc Sure, but I wouldn’t expect too much from them :)
Adelbert Chang
@adelbertc
Mar 31 2016 05:33
im also not sure how good of a metric it is
but typelevel had some big name sponsors
verizon, comcast
enterprise monads!
in general we had a good tunrout for Typelevel Summit, so that was nice to see
people from a variety of backgrounds. FP isnt just ivory tower academic exercise, people are interested, its practical, etc.
though i suspect thats just preaching to the choir at your job :P
Greg Pfeil
@sellout
Mar 31 2016 05:35
@adelbertc This is great – I was really focused on talk content, but I should really mention all of this other stuff.
Heh, yeah. If anyone isn’t sold on FP at SlamData, they’re really good about faking it.
Merlin Göttlinger
@mgttlinger
Mar 31 2016 05:36

enterprise monads!

just wait for all those AbstractMonadFactoryBeans ;)

Adelbert Chang
@adelbertc
Mar 31 2016 05:36
for each conference i have like 1 slide summarizing some talks, like one sentence each, and then 1 or 2 slides talking about the conference in general in terms of themes, attendance, etc.
:+1:
Rob Norris
@tpolecat
Mar 31 2016 05:49
My big takeaway was that the dependency problem is a pain in everyone's ass. A lot of people were talking about it, at least in hallway session.
@adelbertc be sure to include a slide about yelling about category theory in the hotel lounge
Adelbert Chang
@adelbertc
Mar 31 2016 05:50
ah yes
sweary category theory
Rob Norris
@tpolecat
Mar 31 2016 05:51
categories for the drinking programmer
Adelbert Chang
@adelbertc
Mar 31 2016 05:52
:+1:
Ryan Delucchi
@ryanonsrc
Mar 31 2016 06:58
@sellout Almost too many great take-aways from NE Scala / Typelevel Summit in Philly to list here. I thought matryoshka was awesome. Daniel Spiewak's talk on SI-2712 was rather -- frightening. Liked the nice intro into cats (was helpful for me), and on @tpolecat 's note: CBT looks promising (and I agree with him that adding a more purely-functional layer over it would be nice). Loved that the unconference had six tracks, gave me a chance to offer my two-cents on Kleisli-based Expr DSLs.
... and apparently, in Philly, they like to park cars along train service tracks (maybe its common elsewhere but something I haven't seen before)
Ghost
@ghost~540393fe163965c9bc2018ce
Mar 31 2016 08:59
the only downside of using HackTheTower is that I can't sneakily work on some clojure projects now without people noticing :-P
Dale Wijnand
@dwijnand
Mar 31 2016 09:00
lol.. yeah you've shit-talked it too much by now :P
Ghost
@ghost~540393fe163965c9bc2018ce
Mar 31 2016 09:12
:smile: beautiful language
Hamish Dickson
@hamishdickson
Mar 31 2016 09:19
@fommil have you seen this? http://www.sicpdistilled.com/
(sicp in clojure)
Ghost
@ghost~540393fe163965c9bc2018ce
Mar 31 2016 09:24
interesting, but I've already read SICP a long time ago so I'm more interested in pushing the boundaries of clojure / new lisps
Hamish Dickson
@hamishdickson
Mar 31 2016 09:43
:smile:
Miles Sabin
@milessabin
Mar 31 2016 09:43
Is anyone around in London on April 9th and up for a Scala hackday?
This isn't the regular Typelevel hackday that we're talking about doing with Hack the Tower.
It's a one off event organised by @greenrd ... he's wondering if there'd be interest from Typelevel projects.
Dale Wijnand
@dwijnand
Mar 31 2016 09:47
I'm going.
Miles Sabin
@milessabin
Mar 31 2016 09:48
Specifically representing a Typelevel project?
Ghost
@ghost~540393fe163965c9bc2018ce
Mar 31 2016 09:49
I'm going too
although not sure I can hack on ENSIME because I have huge Windows / classloader problems to fix in sbt
Miles Sabin
@milessabin
Mar 31 2016 09:49
So, ENSIME then.
Ahh ...
Ghost
@ghost~540393fe163965c9bc2018ce
Mar 31 2016 09:49
maybe if somebody can help me with fommil/sbt-big-project#30
it's really really impacting me at work
Dale Wijnand
@dwijnand
Mar 31 2016 09:50
Not representing a Typelevel project, but representing an interest for hacking on Typelevel projects :)
Miles Sabin
@milessabin
Mar 31 2016 09:50
:+1:
Ghost
@ghost~540393fe163965c9bc2018ce
Mar 31 2016 09:51
I'll represent ENSIME of course, but fixing Typesafe code :-P
Hamish Dickson
@hamishdickson
Mar 31 2016 10:22
like @dwijnand I can be there to represent interest
Ghost
@ghost~540393fe163965c9bc2018ce
Mar 31 2016 10:26
do we know anybody at Credit Swisse or ING?
if so, please report this (probably unauthorised) use of your company names as endorsement of this proprietary library https://github.com/outworkers/phantom#adopters
Julien Truffaut
@julien-truffaut
Mar 31 2016 11:56
I can be there as well
Ghost
@ghost~540393fe163965c9bc2018ce
Mar 31 2016 12:03
you mean you use this lib? @julien-truffaut
they've changed the licence, still unclear what it is https://github.com/outworkers/phantom/commits/develop/LICENSE.txt
Julien Truffaut
@julien-truffaut
Mar 31 2016 12:04
no I mean I can come to the hack the tower on 9th april
Ghost
@ghost~540393fe163965c9bc2018ce
Mar 31 2016 12:04
ah, cool!
I'd be interested to get your take on https://github.com/fommil/imaginary-friend for monocle and co
Miles Sabin
@milessabin
Mar 31 2016 12:04
@julien-truffaut April the 9th isn't Hack the Tower ... it is a Scala hackday though.
Ghost
@ghost~540393fe163965c9bc2018ce
Mar 31 2016 12:05
it's the SLUG Hack Day
Julien Truffaut
@julien-truffaut
Mar 31 2016 12:05
ok
Julien Truffaut
@julien-truffaut
Mar 31 2016 12:06
rsvped
InTheNow
@InTheNow
Mar 31 2016 13:11

the dependency problem is a pain

What specific dep problem?

Greg Pfeil
@sellout
Mar 31 2016 13:54
Thanks for the TL/NEScala comments, everyone. @adelbertc looks like my talk is postponed to next Thursday, though, as a more work-related one has popped up.
Pascal Voitot
@mandubian
Mar 31 2016 16:43
@fommil WTF are they doing with their license?
Ghost
@ghost~540393fe163965c9bc2018ce
Mar 31 2016 16:45
@mandubian yeah. check the latest closed ticket
BY THE POWER OF STALLMAN
Pascal Voitot
@mandubian
Mar 31 2016 16:51
I'm not an expert of licenses in general but I don't like when licenses change ;)
Ross A. Baker
@rossabaker
Mar 31 2016 17:11
I might be most irritated by disavowing the published metadata on licenses. A lot of people count on tools that scrape that metadata when the boss says legal needs a report.
"The pom says this, but the readme says that" is not cool.
Pascal Voitot
@mandubian
Mar 31 2016 17:14
yep :(
Ghost
@ghost~540393fe163965c9bc2018ce
Mar 31 2016 17:15
@rossabaker actually, there is some grounds to say that you can use the licence in the pom
it's their responsibility to put the right information in there
I don't think "oh, I accidentally gave you the wrong licence, which is a reasonable licence to give you" is any sort of defence
Ross A. Baker
@rossabaker
Mar 31 2016 17:20
That would be my non-lawyer's opinion. And right or wrong, it's a conversation I wouldn't look forward to with my legal department.
Ghost
@ghost~540393fe163965c9bc2018ce
Mar 31 2016 17:21
well you can show the licence very clearly
it is absolutely possible to dual licence
Adelbert Chang
@adelbertc
Mar 31 2016 17:57
@fommil on the topic of licenses, for the Apache 2.0 license, is it sufficient to just copy/pasta the Apache license into a LICENSE file in the project dir, or is it required we tack it on as a header to all the source files as well?
Ghost
@ghost~540393fe163965c9bc2018ce
Mar 31 2016 18:00
I cover this in my talk ;-)
TL;DR is you should add a header
but it only needs to be two lines: copyright owner and licence URL
no need for long blurbs
Adelbert Chang
@adelbertc
Mar 31 2016 18:01
ah, i must have missed it
gotcha
Lars Hupel
@larsrh
Mar 31 2016 20:47
:wave: We could use a little bit more promotion (and participation!) for the Oslo Summit. It's coming up in about a month and tickets are just 500 NOK (~ 60$). Now's the time to spread the word :smile: typelevel.org/event/2016-05-summit-oslo/
Ghost
@ghost~540393fe163965c9bc2018ce
Mar 31 2016 20:49
I'd really love to come but I've spent my conference budget this year :-(
InTheNow
@InTheNow
Mar 31 2016 20:57

Category Theory course I teach to art students....

Gotta be worth it just for that, surely? :)

InTheNow
@InTheNow
Mar 31 2016 21:41
Gotta -> Short for "got to" -> GOTO ;)
Ghost
@ghost~540393fe163965c9bc2018ce
Mar 31 2016 21:45
interesting, it's shorter to say but longer to type
and thus is the way of legacy systems
InTheNow
@InTheNow
Mar 31 2016 21:46
GOTO OSLO
Dale Wijnand
@dwijnand
Mar 31 2016 21:50
do not pass Go, do not collect $200
InTheNow
@InTheNow
Mar 31 2016 21:54
I would not recommend passing golang, either. nn :)