How to prove type is a Singleton in match type?
|
|
2
|
23
|
March 28, 2023
|
Wildcard export and export omitter in Scala 3
|
|
3
|
58
|
March 27, 2023
|
Kafka-Spark streaming stuck in infinite with no progress
|
|
1
|
55
|
March 25, 2023
|
Scala 3 derivation: Why are MirroredElemTypes of Sum not <: NonEmptyTuple?
|
|
2
|
63
|
March 24, 2023
|
Is a Monad available only in "cats" package?
|
|
1
|
76
|
March 23, 2023
|
Casting an option to its original type
|
|
3
|
2278
|
March 23, 2023
|
Eager evaluation of `report.errorAndAbort`
|
|
9
|
203
|
March 21, 2023
|
Is it okay to use asInstanceOf together with match types
|
|
6
|
128
|
March 21, 2023
|
Sbt-nosbt: an sbt plugin to organize your build using plain Scala files
|
|
4
|
132
|
March 19, 2023
|
Cannot access *.scala-lang.org from my vpn
|
|
4
|
203
|
March 17, 2023
|
Position not set of class dotty.tools.dotc.ast.Trees$TypeApply
|
|
4
|
86
|
March 17, 2023
|
Metaprogramming: Compile-time check whether a String matches a regex
|
|
6
|
122
|
March 17, 2023
|
2.13.10 compiler doesn't detect exhaustive match on Seq
|
|
3
|
83
|
March 16, 2023
|
Call for Papers: ACM Workshop on Functional Art, Music, Modelling and Design (Deadline June 1)
|
|
0
|
65
|
March 16, 2023
|
For Papers, Functional Software Architecture - FP in the Large
|
|
0
|
73
|
March 16, 2023
|
Raw strings and interpolation
|
|
5
|
119
|
March 16, 2023
|
Forbidden to narrow a type with match?
|
|
7
|
162
|
March 15, 2023
|
Trouble installing Scala 3.2
|
|
2
|
92
|
March 15, 2023
|
Equivalent of LPAD Function in Scala
|
|
9
|
177
|
March 9, 2023
|
Missing dependency 'object scala.native in compiler mirror'
|
|
1
|
138
|
March 6, 2023
|
No by-name parameter type allowed here
|
|
23
|
958
|
March 3, 2023
|
Overzealous warning from scala compiler: Auto-application to `()` is deprecated
|
|
7
|
255
|
March 3, 2023
|
Pattern match with Singleton type failed
|
|
3
|
139
|
February 24, 2023
|
How to define a given clause using singleton type as the type parameter?
|
|
2
|
101
|
February 24, 2023
|
How to Import Package without SBT and Compile Multifile Projects?
|
|
2
|
91
|
February 22, 2023
|
Should transparent tuple be considered a literal
|
|
5
|
138
|
February 22, 2023
|
What is the relation to 'z'.getClass and classOf[Char].isInstance
|
|
4
|
152
|
February 21, 2023
|
Scala 2.13 on Android
|
|
30
|
2453
|
February 21, 2023
|
Unused imports warning
|
|
5
|
1359
|
February 13, 2023
|
First steps in a x-platform actor system
|
|
0
|
152
|
February 9, 2023
|