StackOverflow Questions for Tag: dotty

tribbloid

Reputation: 3838

In Scala 3 with DOT calculus, is `this.type` a path-dependent type? What makes it special?

scaladependent-typescala-3path-dependent-typedotty

Score: 3

Answers: 1

nomadSK25

Reputation: 2594

What exactly is Dotty?

scalaterminologyscala-3dotty

Score: 41

Answers: 6

Karl S.

Reputation: 355

Software Transactional Memory in Scala

scalastmdotty

Score: 0

Answers: 0

tribbloid

Reputation: 3838

In Scala 3 (dotty) or Scala 2, how to make dependent types transitive?

scaladependent-typetype-systemsscala-3dotty

Score: 1

Answers: 2

Pedro Sobota

Reputation: 1877

How to use macros in the Scala console?

scalamacrosmetaprogrammingscala-3dotty

Score: 3

Answers: 1

Kieran

Reputation: 406

Scala3 type matching with multiple types

scalascala-3dottymatch-types

Score: 2

Answers: 1

Grisu47

Reputation: 552

How to prove that `Tuple.Map[H : T, F] =:= (F[H] : Tuple.Map[T, F])` in Scala 3

scalascala-3type-level-computationdottymatch-types

Score: 1

Answers: 1

tribbloid

Reputation: 3838

In scala 2 or 3, is it possible to debug implicit resolution process in runtime?

scalaimplicitscala-reflectscalametadotty

Score: 2

Answers: 1

tribbloid

Reputation: 3838

In Scala 3, what's the canonical method for pattern match that uses an erased type?

scalapattern-matchingtype-erasurescala-3dotty

Score: 0

Answers: 1

tribbloid

Reputation: 3838

How to write curried polymorphic function & its higher kind in Scala 3?

scalascala-3higher-kinded-typesdottypolymorphic-functions

Score: 0

Answers: 1

Grégory Weinbach

Reputation: 96

In Scala 3, how to replace General Type Projection that has been dropped?

scalascala-3abstract-typedottytype-projection

Score: 3

Answers: 1

tribbloid

Reputation: 3838

How to abstract over higher-kind with F-bounded polymorphism in Scala3? The same definition works in Scala2

scalascala-3gadtdottyf-bounded-polymorphism

Score: 1

Answers: 0

tribbloid

Reputation: 3838

In scala3/dotty. Why is it impossible to mix in a type definition with constraint?

scalatype-systemsscala-3dotty

Score: 0

Answers: 0

Andrew

Reputation: 434

Finding lambda captured values (or their classes) in Scala 3

scalalambdaclosuresscala-3dotty

Score: 0

Answers: 1

TomPoczos

Reputation: 115

circe doesn't see field when it contains an array

jsonscalacircescala-3dotty

Score: 0

Answers: 1

jilen

Reputation: 5763

scala 3 macro how to implement generic trait

scaladottyscala-3

Score: 10

Answers: 1

St.

Reputation: 533

Printing MirroredElemTypes in Scala 3

scalascala-macrosscala-3dottygeneric-derivation

Score: 1

Answers: 1

Bilal Fazlani

Reputation: 6967

How to access parameter list of case class in a dotty macro

scalareflectionmetaprogrammingscala-macrosdotty

Score: 10

Answers: 1

Silvio Mayolo

Reputation: 70257

Pattern matching against union type can't remove cases from consideration

scalapattern-matchingunion-typesscala-3dotty

Score: 1

Answers: 1

pme

Reputation: 14803

2 Extension Methods with the same name in different classes do not work in Scala 3?

scalaextension-methodsdottyscala-3

Score: 7

Answers: 1

PreviousPage 1Next

StackOverflow Questions for Tag: dotty

In Scala 3 with DOT calculus, is `this.type` a path-dependent type? What makes it special?

What exactly is Dotty?

Software Transactional Memory in Scala

In Scala 3 (dotty) or Scala 2, how to make dependent types transitive?

How to use macros in the Scala console?

Scala3 type matching with multiple types

How to prove that `Tuple.Map[H *: T, F] =:= (F[H] *: Tuple.Map[T, F])` in Scala 3

In scala 2 or 3, is it possible to debug implicit resolution process in runtime?

In Scala 3, what&#39;s the canonical method for pattern match that uses an erased type?

How to write curried polymorphic function &amp; its higher kind in Scala 3?

In Scala 3, how to replace General Type Projection that has been dropped?

How to abstract over higher-kind with F-bounded polymorphism in Scala3? The same definition works in Scala2

In scala3/dotty. Why is it impossible to mix in a type definition with constraint?

Finding lambda captured values (or their classes) in Scala 3

circe doesn&#39;t see field when it contains an array

scala 3 macro how to implement generic trait

Printing MirroredElemTypes in Scala 3

How to access parameter list of case class in a dotty macro

Pattern matching against union type can&#39;t remove cases from consideration

2 Extension Methods with the same name in different classes do not work in Scala 3?

How to prove that `Tuple.Map[H : T, F] =:= (F[H] : Tuple.Map[T, F])` in Scala 3

In Scala 3, what's the canonical method for pattern match that uses an erased type?

How to write curried polymorphic function & its higher kind in Scala 3?

circe doesn't see field when it contains an array

Pattern matching against union type can't remove cases from consideration