Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Activity
  • 04:44
    trumpyla starred scala/docs.scala-lang
  • 04:44
    trumpyla starred scala/docs.scala-lang
  • Jun 12 22:01
    alvinj commented #2073
  • Jun 12 22:01
    alvinj commented #2062
  • Jun 12 19:22
    alvinj commented #2076
  • Jun 12 19:18
    alvinj commented #2076
  • Jun 12 08:23
    ShapelessCat opened #2078
  • Jun 11 09:45

    vincenzobaz on main

    Use GitHub actions instead of T… t# This is a combination of 3 c… Update dependencies and 1 more (compare)

  • Jun 11 09:45
    vincenzobaz closed #2056
  • Jun 11 09:37
    vincenzobaz synchronize #2056
  • Jun 11 09:27
    julienrf edited #2076
  • Jun 11 06:46
    julienrf assigned #2047
  • Jun 11 05:18
    toddobryan commented #2047
  • Jun 11 05:17
    toddobryan synchronize #2047
  • Jun 10 13:51

    Philippus on main

    Minor typo Merge pull request #2077 from a… (compare)

  • Jun 10 13:51
    Philippus closed #2077
  • Jun 10 13:32
    martijnhoekstra commented #2077
  • Jun 10 13:21
    abuggin opened #2077
  • Jun 10 13:21
  • Jun 09 16:16
    julienrf review_requested #2076
Darcy Shen
@sadhen
@ctongfei 对Scala Native怎么看
看到了你的Nexus,不知道能否用Scala Native做Machine Learning
hex42
@hex42
@liufengyun 请问目前有哪些资料可以比较详细的知道scala整个类型系统的设计吗?
假设我定义一个类型 class Box[F[_]], 那么 Box[List] 算是一个type, 还是Box[List[String]] 算是一个type呢
Fengyun Liu
@liufengyun
@hex42 上面F是一个higher-kinded type parameter, Box[List]是一个合法的类型,后者会报错。DOT是对Scala类型系统建模的理论化尝试,但是其没有对higher-kinded types进行建模。这篇博士论文对higher-kinded types有一些尝试:https://infoscience.epfl.ch/record/232408?ln=en 。这篇论文有提及Dotty对higher-kinded types的实现 https://infoscience.epfl.ch/record/222780/files/p51-odersky.pdf 。关于higher-kinded types, 可以参考对System Fω的介绍,比如Types and Programming languages一书。
hex42
@hex42
@liufengyun 多谢,我先看看Dotty实现higher-kinded types的那篇论文。
Yifan Xu
@SabaPing
有没有用深入用cats effect的大佬. 请教个问题:
一个IO instance, IO.shift到另一个threadpool vs .start起一个fiber, 逻辑上效果是不是一样的?
唯一的区别是fiber可以cancel和join?
Yifan Xu
@SabaPing
中文scala社区用typelevel stack的有点少啊, 都找不到人交流..
Darcy Shen
@sadhen
@SabaPing 有一些是用cats的
Yifan Xu
@SabaPing
@sadhen 谢谢了, 我去了解一下
kerr
@hepin1989
@SabaPing 搞scalaz吧
我们不要跟着cats跑路,我觉得ZIO很好的。
我工作中还是用的Akka。。。
@sadhen @counter2015 看后面的录播一样的
kerr
@hepin1989
群里有想要来阿里的同学吗?我们新零售消息PaaS团队招聘校招p5和社招P7.
校招要求985的A+学生
欢迎私聊
T0RJAN
@t0rjan
。。。
985 应该留学去国外去
待在中国很难有什么作为
中国软件环境不太行
Yifan Xu
@SabaPing
我一直有个问题, ZIO跟monix有啥区别?
感觉很多使用场景上是重复的
Yifan Xu
@SabaPing
counter2015
@counter2015
@SabaPing 打不开
nginx 1.4.6 502BadGateWay,是网络原因吗
counter2015
@counter2015
现在能看了
kerr
@hepin1989
@SabaPing 我觉得ZIO更好
謝宇恆
@xieyuheng
hi
kerr
@hepin1989
阿里新零售消息团队(手淘,天猫)招人,p6+, p7,p8 岗位,欢迎私聊。
邮箱:hepin.p@alibaba-inc.com
RubenGavidia0x
@RubenGavidia
Hao
swy870520
@swy870520
大家好
Jian Yuan
@yuanjianfaith
大家好
swy870520
@swy870520
人越来越多
DorisZhao
@doriszhaodan
大家好
xiantang
@xiantang
大家好
Wang Binbin
@hellomsg
You will not find happiness by engaging with the Scala Open Source community; only exploitation, politics and drama. If you insist on getting involved, please do not use your real name.
这句话什么意思?
YONGYANG LAI
@yongyanglai
劝退文
Wang Binbin
@hellomsg
ensime 的作者写的
scala里有没有类似 apache common 的库?
guava等。或者不需要?
Yan
@yaroot
@hellomsg 大部分功能都不需要 其余的也很好解决
Wang Binbin
@hellomsg
很好解决,so easy 😭️
Wang Binbin
@hellomsg
为什么我用来用去,感觉 match 跟 if else 没什么区别
Yifan Xu
@SabaPing
差别很大啊