0.5.0-RC1 Blog Post #3521
Merged
0.5.0-RC1 Blog Post #3521
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| ### TASTY frontend | ||
| The TASTY frontend is a frontend that reloads the ASTs from the TASTY within the classfiles in the classpath. We fixed most issues with the frontend which enable us to re-compile code from TASTY without the need of retypecheck (#3436, #3512, #3492). | ||
|
|
||
| Currenlty two backends that use this frontend are available |
| The TASTY frontend is a frontend that reloads the ASTs from the TASTY within the classfiles in the classpath. We fixed most issues with the frontend which enable us to re-compile code from TASTY without the need of retypecheck (#3436, #3512, #3492). | ||
|
|
||
| Currenlty two backends that use this frontend are available | ||
| * Dotty class file decompiler `dotc -decompile -classpath CLASSPATH CLASSNAME`. It will decompile the code by preaty printing the contents of the TASTY. This code is the high level representation of the typechecked code without loss of precieceness due transformations towards JVM bytecode. It can also be used with `dotc -decompile -print-tasty ...` to show a preaty printed version of the raw TASTY (#3519). |
There was a problem hiding this comment.
s/preaty/pretty/g
| The TASTY frontend is a frontend that reloads the ASTs from the TASTY within the classfiles in the classpath. We fixed most issues with the frontend which enable us to re-compile code from TASTY without the need of retypecheck (#3436, #3512, #3492). | ||
|
|
||
| Currenlty two backends that use this frontend are available | ||
| * Dotty class file decompiler `dotc -decompile -classpath CLASSPATH CLASSNAME`. It will decompile the code by preaty printing the contents of the TASTY. This code is the high level representation of the typechecked code without loss of precieceness due transformations towards JVM bytecode. It can also be used with `dotc -decompile -print-tasty ...` to show a preaty printed version of the raw TASTY (#3519). |
|
@allanrenucci I added a short paragraph about generic java signatures. |
allanrenucci
force-pushed
the
0.5.0-RC1-blogpost
branch
from
cb11f98 to
c2b9363
Compare
|
@heathermiller Could you please have a look? I'll open a PR to scala-lang if we are happy with this version |
| implicit search for `Q` fails. | ||
|
|
||
| ### Dependent function types [#3464](https://github.com/lampepfl/dotty/pull/3464) | ||
| A dependent function type describes functions where the result type may depend |
There was a problem hiding this comment.
I would write "path dependent" everywhere to avoid the confusion with dependent types.
There was a problem hiding this comment.
@odersky What do you think?
| ambiguous, and subsequently have classified the query `b(implictly[A])` as a normal fail, | ||
| which means that the alternative `c` would be chosen as solution! | ||
|
|
||
| Scala 2's somewhat puzzling behavior wrt ambiguity has been exploited to implement the analogue |
There was a problem hiding this comment.
s/wrt/with respect to/
|
👍 |
allanrenucci
force-pushed
the
0.5.0-RC1-blogpost
branch
from
c2b9363 to
a885016
Compare
allanrenucci
force-pushed
the
0.5.0-RC1-blogpost
branch
from
a885016 to
1d7e16d
Compare
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Here is a draft of 0.5.0-RC1 blog post.
dotc -decompileordotc -from-tasty?