記事の追加: HIW 2019で発表された、GHC 8.10に導入されるであろう機能 #170
Merged
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
igrep
changed the title
added 4 commits
September 11, 2019 16:42
igrep
force-pushed
the
hiw2019-ghc-future
branch
from
0c8cdb1 to
54f7916
Compare
kakkun61
reviewed
Sep 17, 2019
|
|
||
| といった具合に、アンダースコアで始まる識別子`_someFunc`の型を`Bool -> [a0]`と推論した上で[^type-hole]、実際にその型に該当する関数を、当該のスコープにおいてアクセスできる関数の中から探して教えてくれる、それが「Valid Hole Fits」という機能です。 | ||
|
|
||
| [^type-hole]: 復習: この、「アンダースコアで始まる識別子、`_someFunc`の型を`Bool -> [a0]`と推論した上で」エラーメッセージにおいて`Found hole: _someFunc :: Bool -> [a0]`と教えてくれるのが「Type Hole」という機能なのでした。 |
Member
There was a problem hiding this comment.
「アンダースコアで始まる識別子、
_someFuncの型をBool -> [a0]と推論した上で」
と括弧でくくってる意図がよく分かりませんでした。
Member
Author
There was a problem hiding this comment.
本文中の「アンダースコアで始まる識別子_someFuncの型をBool -> [a0]と推論した上で」を指していることを明示するためのカギ括弧です。
Member
There was a problem hiding this comment.
なるほど。個人的にはどちらかというと違う部分に括弧を付けた方がいいのではないかという気がしました。
どちらにするかはお任せします。
あと微妙に引用元と異なりますね。「、」を含むかどうか。
アンダースコアで始まる識別子 、
_someFuncの型をBool -> [a0]と推論した上で
> 「GHCが推論した型にマッチする関数を」が長めなので「エラーメッセージに」を後に置いた方が「付記する」にかかることが明示的になると思いました。 Co-Authored-By: Kazuki Okamoto <kakkun61@gmail.com>
Co-Authored-By: Kazuki Okamoto <kakkun61@gmail.com>
kakkun61
approved these changes
Sep 17, 2019
Member
Author
|
半期末で忙しい中ありがとう！日付変えてマージします！ |
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.
前の記事 #169 と同様、レビューは @kakkun61 に依頼します。