Search: github.com/dotty | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

github.com/lampepfl

5 years ago

690 points

2.

github.com/lampepfl

6 years ago

191 points

3.

Scala: Consider syntax with significant indentation

github.com/lampepfl

9 years ago

84 points

4.

Functional Typelevel Programming in Scala

github.com/dotty-staging

8 years ago

70 points

5.

Wanted: Strawman proposals for new collections architecture

github.com/lampepfl

11 years ago

16 points

6.

Show HN: My weekend project - Hacker News inside Sublime Text 2

github.com/dotty

14 years ago

10 points

7.

Scala 3.0.0 (Dotty) is released

github.com/lampepfl

5 years ago

9 points

8.

Python-style indentation (for now experimental) in Scala 3

github.com/lampepfl

7 years ago

5 points

9.

Scala 3 on GitHub: The Fourth Anniversary (2016)

github.com/lampepfl

10 years ago

PartOSolution25

4 points

10.

Nicer File Uploads for PHP

github.com/dotty

14 years ago

4 points

11.

Looks like we're a go with Scala 3.0.0 final release

github.com/lampepfl

5 years ago

4 points

12.

Browse the Hacker News front-page from inside Sublime

github.com/dotty

13 years ago

3 points

13.

Significant Whitespace Syntax Coming to Scala?

github.com/lampepfl

9 years ago

3 points

14.

Functional Typelevel Programming in Scala 3 (Martin Odersky)

github.com/dotty-staging

8 years ago

3 points

15.

Introduce Scala Native IR (Nir) Code Generator for Dotty

github.com/densh

10 years ago

3 points

16.

Scala 3 (aka Dotty) type-safety not implied by the DOT calculus, after all

github.com/lampepfl

10 years ago

2 points

17.

Dotty – a TUI to navigate all your dotfiles from anywhere in one command

github.com/RiccardoCataldi

23 days ago

2 points

18.

Distinguish between pure and impure functions

github.com/lampepfl

5 years ago

2 points

19.

Allow significant indentation syntax (Scala 3)

github.com/lampepfl

7 years ago

2 points

20.

Dotty: 0.8.0-RC1

github.com/lampepfl

8 years ago

2 points

21.

Principled metaprogramming for Scala 3

github.com/lampepfl

8 years ago

2 points

22.

Streamlining (G)ADTs in Dotty (Scala)

github.com/lampepfl

9 years ago

2 points

23.

Dotty – a platform to try out new concepts and compiler technologies for Scala

github.com/lampepfl

12 years ago

1 points

24.

Six years of Scala 3 on GitHub (2018)

github.com/lampepfl

8 years ago

1 points

25.

Scala Witnesses: An alternative to Scala Implicits as we know them

github.com/lampepfl

8 years ago

1 points

26.

Parallel compilation in Scala 3 for early adopters

github.com/lampepfl

8 years ago

1 points

27.

Disallow implicit conversions between unrelated types in Dotty

github.com/lampepfl

8 years ago

1 points

28.

Dotty 0.5.0-RC1 on the Fifth Anniversary of Scala 3 on GitHub

github.com/lampepfl

9 years ago

1 points

29.

Open-source projects already supporting Scala 3 (aka Dotty)

github.com/lampepfl

9 years ago

1 points

30.

Dotty 0.4.0-RC1 released

github.com/lampepfl

9 years ago

1 points