Skip to content

Added another use-case for the prefix types SIP #942

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 13 commits into from
Dec 5, 2017
Merged

Added another use-case for the prefix types SIP #942

Changes from all commits
Commits
Show all changes
13 commits
Select commit Hold shift + click to select a range
455a604
Splitting SIP33
soronpo Oct 25, 2017
1eeb612
New SIP files
soronpo Oct 25, 2017
f304d57
Merge branch 'master' of https://github.com/scala/docs.scala-lang
soronpo Oct 25, 2017
5cc5971
Updates SIP 33 and new SIP-NN(prefix types)
soronpo Oct 25, 2017
010ec45
Added updated PR links
soronpo Oct 25, 2017
97bddb1
redundant file
soronpo Oct 25, 2017
aa8603f
Merge https://github.com/scala/docs.scala-lang
soronpo Nov 29, 2017
173b2fb
Update to prefix types SIP, according to feedback on the PR.
soronpo Nov 29, 2017
2174172
Update to SIP33 and added example to prefix types use
soronpo Nov 29, 2017
9334cd2
Minor grammer change.
soronpo Nov 29, 2017
513b47c
Update history table
soronpo Nov 29, 2017
262e4e1
Added use-case for prefix type `~`
Dec 1, 2017
7757e23
Added another use-case for prefix types
soronpo Dec 1, 2017
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
5 changes: 4 additions & 1 deletion _sips/sips/2017-10-25-adding-prefix-types.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,7 @@ permalink: /sips/:title.html
| ------------- | ---------------------------------------- |
| Oct 25th 2017 | Split prefix types from [SIP33](http://docs.scala-lang.org/sips/priority-based-infix-type-precedence.html), and emphasize motivation |
| Nov 29th 2017 | Updated SIP according to feedback in the PR, and recent update to SIP23 |

| Dec 1st 2017 | Added another use-case for prefix type `~` |

Your feedback is welcome! If you're interested in discussing this proposal, head over to [this](https://contributors.scala-lang.org/t/sip-nn-make-infix-type-alias-precedence-like-expression-operator-precedence/471) Scala Contributors thread and let me know what you think.

Expand Down Expand Up @@ -60,6 +60,9 @@ It is easier to reason about the language when mathematical and logical operatio

### Motivating examples

#### Splice prefix types for meta-programming
A requirement for `unary_~` is described by Martin Odersky at [this proposal](https://gist.github.com/odersky/f91362f6d9c58cc1db53f3f443311140).

#### Singleton-ops library example

The [singleton-ops library](https://github.com/fthomas/singleton-ops) with [Typelevel Scala](https://github.com/typelevel/scala) (which implemented [SIP-23](http://docs.scala-lang.org/sips/pending/42.type.html)) enable developers to express literal type operations more intuitively.
Expand Down