Search: github.com/dotty | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Scala 3.0 (github.com/lampepfl)

690 points

5 years ago

2.

Scala 3.0.0-M1 (github.com/lampepfl)

191 points

6 years ago

3.

Scala: Consider syntax with significant indentation (github.com/lampepfl)

84 points

9 years ago

4.

Functional Typelevel Programming in Scala (github.com/dotty-staging)

70 points

8 years ago

5.

Wanted: Strawman proposals for new collections architecture (github.com/lampepfl)

16 points

11 years ago

6.

Show HN: My weekend project - Hacker News inside Sublime Text 2 (github.com/dotty)

10 points

13 years ago

7.

Scala 3.0.0 (Dotty) is released (github.com/lampepfl)

9 points

5 years ago

8.

Python-style indentation (for now experimental) in Scala 3 (github.com/lampepfl)

5 points

7 years ago

9.

Scala 3 on GitHub: The Fourth Anniversary (2016) (github.com/lampepfl)

4 points

PartOSolution25

9 years ago

10.

Nicer File Uploads for PHP (github.com/dotty)

4 points

14 years ago

11.

Looks like we're a go with Scala 3.0.0 final release (github.com/lampepfl)

4 points

5 years ago

12.

Browse the Hacker News front-page from inside Sublime (github.com/dotty)

3 points

13 years ago

13.

Significant Whitespace Syntax Coming to Scala? (github.com/lampepfl)

3 points

9 years ago

14.

Functional Typelevel Programming in Scala 3 (Martin Odersky) (github.com/dotty-staging)

3 points

8 years ago

15.

Introduce Scala Native IR (Nir) Code Generator for Dotty (github.com/densh)

3 points

10 years ago

16.

Scala 3 (aka Dotty) type-safety not implied by the DOT calculus, after all (github.com/lampepfl)

2 points

10 years ago

17.

Distinguish between pure and impure functions (github.com/lampepfl)

2 points

4 years ago

18.

Allow significant indentation syntax (Scala 3) (github.com/lampepfl)

2 points

7 years ago

19.

Dotty: 0.8.0-RC1 (github.com/lampepfl)

2 points

8 years ago

20.

Principled metaprogramming for Scala 3 (github.com/lampepfl)

2 points

8 years ago

21.

Streamlining (G)ADTs in Dotty (Scala) (github.com/lampepfl)

2 points

9 years ago

22.

Dotty – a platform to try out new concepts and compiler technologies for Scala (github.com/lampepfl)

1 point

12 years ago

23.

Six years of Scala 3 on GitHub (2018) (github.com/lampepfl)

1 point

7 years ago

24.

Scala Witnesses: An alternative to Scala Implicits as we know them (github.com/lampepfl)

1 point

7 years ago

25.

Parallel compilation in Scala 3 for early adopters (github.com/lampepfl)

1 point

8 years ago

26.

Disallow implicit conversions between unrelated types in Dotty (github.com/lampepfl)

1 point

8 years ago

27.

Dotty 0.5.0-RC1 on the Fifth Anniversary of Scala 3 on GitHub (github.com/lampepfl)

1 point

8 years ago

28.

Open-source projects already supporting Scala 3 (aka Dotty) (github.com/lampepfl)

1 point

8 years ago

29.

Dotty 0.4.0-RC1 released (github.com/lampepfl)

1 point

9 years ago

30.

(Scala) Allow Typeclasses to Declare Themselves Coherent (github.com/lampepfl)

1 point

9 years ago