Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Activity
  • Oct 18 2022 19:35
    @SethTisue banned @lunaterra22
  • Sep 14 2022 18:08
    @SethTisue banned @discjock:matrix.org
  • Sep 12 2022 20:37
    @SethTisue banned @manuelzamoratetherbtcusa:matrix.org
  • Sep 06 2022 14:29
    @SethTisue banned @white_hat_hacker:minds.com
  • Sep 06 2022 14:29
    @SethTisue banned @alexchole:matrix.org
  • Aug 31 2022 17:03
    @SethTisue banned @andersonwatts7:matrix.org
  • Jul 19 2022 20:37
    @SethTisue banned @tonyobanon
  • Jan 02 2022 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
Vinayak Pathak
@vinayakpathak
yes ok got it
Fabio Labella
@SystemFw
even if you pass two Model which do have the same State, you have hidden that information
when you add refinements and Aux to an abstract type, you are propagating that info again
Vinayak Pathak
@vinayakpathak
right
ok this makes a lot more sense... thanks for spending all this time explaining this!
Rob Norris
@tpolecat
:clap:
Fabio Labella
@SystemFw
@vinayakpathak no problem :)
There's a whole field or two of computer science about this stuff, so don't worry if you find it tricky
Vinayak Pathak
@vinayakpathak
type theory being one of them i guess?
is there a type theory book you'd recommend btw?
Rob Norris
@tpolecat
Path-dependent [existential] types are one of the defining features of Scala but they're poorly understood. Even by scalac in some cases. Poorly explained also.
Fabio Labella
@SystemFw
well, Types and Programming Languages is kinda the standard
also note that scala is somewhat unique in this regard
some things are novel, others require some skill to be linked to the theory
Vinayak Pathak
@vinayakpathak
i see i see... i will checkout that book
Rob Norris
@tpolecat
This series on the typelevel blog is pretty good, re: this specific issue in Scala https://typelevel.org/blog/2015/07/13/type-members-parameters.html
Fabio Labella
@SystemFw
this is one aspect where theoretical background does help
Vinayak Pathak
@vinayakpathak
i have spent a lot of time on the other side of computer science theory, i.e., algorithms and complexity... only recently discovered the type theory, category theory etc... and it's all super fascinating
Fabio Labella
@SystemFw
otherwise it's hard to make intuition precise
@vinayakpathak I'd also recommend some basic study of logic
nothing too advanced, but the basics do help when reading about type theory

on the other side of computer science theory,

there's more... it's a fractal rabbit hole

one random example: models of computation, applied to concurrent and distributed computation
Vinayak Pathak
@vinayakpathak
i agree :)
Fabio Labella
@SystemFw
I wish people appreciated it more
Vinayak Pathak
@vinayakpathak
i feel that broadly though cs theory can be divided into the Turing style areas and the Church style areas
Turing style being algorithms, running time, complexity, etc... Church style being more logic, type theory, that sort of stuff
not sure what kinds of models of concurrent and distributed computations you are talking about... i remember seeing some in my grad school days, but they were mostly Turing style
@tpolecat thanks will check it out
Fabio Labella
@SystemFw
I mean, I don't want to open a whole new rabbit hole to dive into, type theory is big enough. But things like pi calculus, join calculus, model and temporal logic, and so on
Vinayak Pathak
@vinayakpathak

I don't want to open a whole new rabbit hole to dive into

yeah makes sense :)

elyphas
@elyphas
Hi, someone could tell me, why this give a true result?
def isNumber(s: String): Boolean = s.matches("[+-]?\\d+.?\\d+")

println(isNumber("1"))
Marcell
@yohannesm
anyone familiar with sbt? I am trying to figure out if I can access a file hosted not on my local machine but like somewhere on S3 instead? Trying to host our scalafmt conf to be working with Jenkins and our build process
elyphas
@elyphas
well seems that this solved my problem:
s matches """\d+"""
Marcell
@yohannesm
scalafmtConfig in ThisBuild := file("~/.scalafmt.conf") <- Something like that but instead of a local file it could pull it off http somewhere?
monksy
@monksy
With scala is there a huge drive to move all methods to functions (in objects)?
Marcell
@yohannesm
not really
functional programming is just we want to make sure functions are "pure" as in without side effects
side effects should be encapsulated in some sort of Monads
at least that's what I understand
monksy
@monksy
methods create side effects
Marcell
@yohannesm
as long as the methods is not mutative, it should be not creating side effects
Long Cao
@longcao
methods don't always create side effects, but often times you do see methods side effecting in say, very OOP code like in Java, e.g. myInstance.setSomething(something)
Seth Tisue
@SethTisue

With scala is there a huge drive to move all methods to functions

not really

Jose C
@jmcardon

functional programming is just we want to make sure functions are "pure" as in without side effects

Neither is enforced in Scala, so putting functions in objects or not is a preference thing

kerr
@hepin1989
Will Manifest be removed from 2.13 ?
Seth Tisue
@SethTisue
likely not, perhaps not even in 2.14: scala/scala#6745
kerr
@hepin1989
@SethTisue Thank you for that information ,I was wondering about that, especially some is deprecated since 2.10
Madhu Babu
@madhubabubits_twitter
Hi !. I am new to scala. Have been a java developer for last 12 years and now planning to use scala in one of my projects because of the language features + akka . I know akka has java flavor too. I am looking for performance benchmarks between using scala vs java ( especially for normal util collections and day-to-day data sets ). All the blogs and benchmarks i have seen are old ( on google search ) and they seem to indicate that scala collections are bad in terms of performance. I like scala language constructs and want to replace java fully with scala. but i am worried about performance implications.
any pointers w.r.t scala performance or can u refer to any recent performance benchmarks please
Gavin Bisesi
@Daenyth
@madhubabubits_twitter you really shouldn't worry about it