scala-text / scala_text Goto Github PK

http://dwango.github.io/scala_text/type-parameter.html

解答を移したり表示方法変えて整理したから間違って消えたのではなく、最初から無かったっぽい？

Monadの規則の紹介ではleftIdentityLawとrightIdentityLawとLawがついているのに対して、Monoidの規則の紹介ではleftIdentityとrightIdentityになっており、Lawがついていない

https://github.com/dwango/scala_text/blob/master/src/typeclass.md

社内チャットより引用

つまりabstract overrideはsuperの束縛を具象クラスを作るまで遅延させる機能と言えるでしょう。

これってそもそもabstract overrideでなくとも（つまり、ただのtraitでsuperを使った場合でも）線形化により、superが指す対象は変わるので、微妙に正しくない気がした

https://github.com/dwango/scala_text/blob/511ee274c1659b041a6c67d4d70c105cc1a173a5/src/trait.md#abstract-override

現状以下のようになっているが

よく利用されるWebフレームワークであるPlay Frameworkの中では現在Specs2が採用されているのですが、マクロによるpower assertが便利なため、今回はscalatestを利用します。

• play2.5以降はscalatestのテンプレートがデフォルトで生成されるようになった
• playのorganizationにリポジトリが出来て https://github.com/playframework/scalatestplus-play 半公式的によりspecs2と同等程度にscalatestもサポートされてきている雰囲気？

という意味では、不正確というか説明不足？
(ただし、playのユーザーとは別に、play本体のテストは現状でもspecs2、という違う観点はあるが)

@pocketberserker さんがテストの章色々書き直し and 書き足しをしてるので、その変更も任せるか、ここだけ先に書きなおすか、みたいな状態

コレクションの章では、ListやMap、Vectorといったデータ構造が紹介されているが、性能の議論をするうえではこれらのデータ構造がどのような実装になっているのか、ということはおさえておいた方がよいと思われる。
そこで、Vectorなどのデータ構造がどのように実装できるのかという話題を、ケースクラスの章の後などに追加するのがよいと思う。

i am installed your csgo web based match finder project

https://github.com/Thiry1/CSGO_Match_Finder

and i getting this error pls can u fix ?

https://imgur.com/2GPDD1U

def leftIdentity[F](a: F)(implicit F: Monoid[F]): Boolean = a == F.append(F.zero, a)
def rightIdentity[F](a: F)(implicit F: Monoid[F]): Boolean = a == F.append(a, F.zero)

これに加えて、

def associativeLaw[F](a: F, b: F, c: F)(implicit F: Monoid[F]): Boolean = {
  F.append(F.append(a, b), c) == F.append(a, F.append(b, c))
}

が必要なのではないかと。

型クラスの章などに、次の文書で説明されているような3つの多相性について述べて、型クラスのモチベーションについて説明するような文章を追加したい。

http://www.fos.kuis.kyoto-u.ac.jp/~igarashi/class/sf07w/resume6.pdf

また、「サブタイプ多相 vs アドホック多相」や「オーバーロード vs 型クラス」など進んだ話題に言及してもよいかもしれない。

理由は主に二点。

• ScalaMockはあまりメンテされていない印象を受ける
  • 現時点の最新コミット paulbutcher/ScalaMock@cf8aa67
• 社内ではMockitoのほうが利用率が高い

https://github.com/dwango/scala_text/blob/master/src/control-syntax.md#%E7%B7%B4%E7%BF%92%E5%95%8F%E9%A1%8C-control_syntax_ex2
「???の部分を埋めてください。」とあるが、解答例は???以外の部分にvar i = 0と書いている。

identity (id関数)が初出だが、その説明がされていない。

https://github.com/dwango/scala_text/blob/master/src/typeclass.md

• 動機：圏論的な用語をimplicit parameterの説明のときに極力出したくない
• See:
  • https://twitter.com/kmizu/status/695888613012156416
  • https://twitter.com/lyrical_logical/status/695894156531478528
  • https://twitter.com/lyrical_logical/status/695895462457405440
• 説明の最後に、～という性質を満たしたものがMonoidと呼ばれます、という感じにできればよい。

さて、このようにファイルを配置したらsandboxディレクトリに入り、sbtを起動します。するとsbtのプロンプトが出て、sbtのコマンドが入力できるようになります。

というところで、ここまで sbt console しか出てこなかったので、 盲目的に sbt console を使うものだと誤解してしまう例が見られました。起動方法に関する注釈が必要そうです。

まだScala 2.12がfinalではないので優先度低めだが(?)、ひとまずメモしておく。簡単に書き換え可能なものは、今のうちに先に書き換えてしまう？もしくは、非推奨になることを軽く言及する？

• FutureのonSuccessとonFailure
  • https://github.com/scala/scala/blob/v2.12.0-M4/src/library/scala/concurrent/Future.scala#L108
  • https://github.com/dwango/scala_text/blob/0fb95ccfcb44e2bc0d6c917a5130e00596e07efe/src/future-and-promise.md#futureとは
  • その理由などの解説 https://github.com/viktorklang/blog

https://github.com/dwango/scala_text/pull/98 で使用しているので、もしそれがmergeされるなら。mergeされた

• 注で1行2行でなにかへのリンク貼って済ませるのか？
• わりとガッツリ書くのか？

あたりをまず決める？

• IntelliJ IDEA 2016がリリースされたので、それにともないスクリーンショットを更新する
• 少なくとも、スプラッシュスクリーンが変更されたのは確実
  • 最近、現行バージョンのIntelliJ IDEAのスクリーンショット撮り直したばかりなのに（泣）

関連Issue #82 #83

★が全くない章もあるのである程度統一が必要そうだと思いました。　

https://y-yu.github.io/scala_text_pdf/scala_text.pdf#page=3

選択肢

1. 章ごと
2. 章・節ごと
3. 全部とってしまう
4. 統一しなくてよい
5. abstract override など、補足的な節であるという目印を除いて、難易度表記自体を削除してしまう。(追記)

たまたまtravis上のcacheがあるおかげで動いてただけかもしれない。そもそも最初にtravis-ci設定した時も似たような状況になったが、いろいろと詳細不明

https://travis-ci.org/dwango/scala_text/builds/110520573#L281

--\/|\|/-\\\\--/|\/||\npm WARN deprecated [email protected]: this package has been reintegrated into npm and is now out of date with respect to npm

> [email protected] install /home/travis/build/dwango/scala_text/node_modules/sleep
> node-gyp rebuild
\\/ake: Entering directory `/home/travis/build/dwango/scala_text/node_modules/sleep/build'
  CXX(target) Release/obj.target/node_sleep/sleep.o
|In file included from ../sleep.cc:2:0:
../node_modules/nan/nan.h:41:3: error: #error This version of node/NAN/v8 requires a C++11 compiler
/ /home/travis/.node-gyp/4.2.6/include/node/node.h:42:0,
                 from ../node_modules/nan/nan.h:45,
                 from ../sleep.cc:2:
/home/travis/.node-gyp/4.2.6/include/node/v8.h:336:1: error: expected unqualified-id before ‘using’
/home/travis/.node-gyp/4.2.6/include/node/v8.h:469:1: error: expected unqualified-id before ‘using’
/home/travis/.node-gyp/4.2.6/include/node/v8.h:852:1: error: expected unqualified-id before ‘using’
\ ../node_modules/nan/nan.h:194:0,
                 from ../sleep.cc:2:
../node_modules/nan/nan_maybe_43_inl.h:13:1: error: expected unqualified-id before ‘using’
../node_modules/nan/nan_maybe_43_inl.h:16:1: error: expected unqualified-id before ‘using’
../node_modules/nan/nan_maybe_43_inl.h:19:12: error: ‘Maybe’ does not name a type
../node_modules/nan/nan_maybe_43_inl.h:24:12: error: ‘Maybe’ does not name a type

https://github.com/dwango/scala_text/blob/master/src/control-syntax.md#%E7%B7%B4%E7%BF%92%E5%95%8F%E9%A1%8C-control_syntax_ex2

• 「loopFrom0To9 は次のような形になります」とあるが、定義されている関数名はloop0To9となっている。

sealed abstract class PostalCodeResult
case class Success(postalCode: String) extends PostalCodeResult
abstract class Failure extends PostalCodeResult
case class UserNotFound() extends Failure
case class UserNotHasAddress() extends Failure
case class AddressNotFound() extends Failure
case class AddressNotHasPostalCode() extends Failure

で、UserNotFound, UserNotHasAddress,AddressNotFound,AddressNotHasPostalCodeはcase objectにできる。

C言語のフォールスルー動作を引き継いだことはしばしば非難されることもあります

これは

C言語のフォールスルー動作を引き継いだことはしばしば非難されます

が適切（「～こともある」、と、「しばしば～」で意味が重複している）。

現時点で思いつく選択肢を列挙

• calibreダウンロードやめる = travisでepub生成やめる?
• 毎回ダウンロードせず、どこかにキャッシュしておく？
• 何らかのオプション指定などの工夫により、毎回ダウンロードはするが、ログが大量に表示されないように工夫する？
• そこまで大きな問題ではないので、諦める？
• その他？

http://dwango.github.io/scala_text/answer.html

で、問題本文も添付することで多少探しやすいようになっているけど、回答集の方にリンクあるようにしたい…(練習問題の方にpermalink付加できればよい？gitbookでそうするの、どうすればいいのだろう…）

https://github.com/dwango/scala_text/blob/fa2d8bbe328aa684287ae13717eddaa92f2ba409/src/future-and-promise.md

Promiseは一度だけ成功と定義した値または値と定義した処理を与えることでFutureに変換できる型

というの、なんかわかりずらいと感じるのは自分だけでしょうか？(いや、自分だけだったらcloseしていいです)

少なくとも、どこかに 読点 、 があったほうがいいような・・・？
もしくはみんなわかりずらいと感じるなら、その文書き直してもいいけれど

https://github.com/dwango/scala_text/pull/162#issuecomment-220530083

出題する際の文言についてです。

https://github.com/dwango/scala_text/blob/master/src/control-syntax.md などで

以上のコードを利用して、 最初と最後の文字が同じアルファベットであるランダムな5文字の文字列を1000回出力してください。

とあります。この場合、forで回しながら都度printlnを呼ぶ副作用のある関数を作成する実装方法を最初に思いつく人もいると思うのですが、

以上のコードを利用して、 最初と最後の文字が同じアルファベットであるランダムな5文字の文字列が1000個含まれるリストを返す関数を作成してください。

のようにすれば List[String] を返すような、よりScalaらしい副作用のない関数を作る方法を学びやすいのではないかと思いました。

Javaのものとほぼ同じです。

Java と違って break, continue がない、あるいは scala.util.control.Breaks を使うというのは補足しておいた方がいいかもしれません。

10章の下限境界の項目
http://dwango.github.io/scala_text/type-parameter.html#%E4%B8%8B%E9%99%90%E5%A2%83%E7%95%8C%EF%BC%88lower-bounds%EF%BC%89
で、「共変な型パラメータT」とありますが、TではなくEな気がします。

Play 2 Scala Webアプリケーションフレームワークを用いたWebアプリケーションを開発できるようになること

や、また

Playフレームワークは、Scalaの言語開発者たちが設立したTypesafe社でメンテナンスされていることもあり、Scalaの中では最も人気のあるWebフレームワークになっています。ドワンゴでも広く採用されており、新卒のみなさんが目にする機会も多くなるでしょう。

といった記述があるが、今回公開した部分にplay frameworkの具体的な使い方の記述などはないため、変なことになっている？

• 削除か修正が必要？
• 「Scalaの基本が身につく => Playで開発できるようになる(という準備ができる)」という意味では残しておいてよい？

https://github.com/dwango/scala_text/blob/0df65e6befb6fde1e770d8f145f4b37113ccabc5/src/case-class-and-pattern-matching.md

• 今から対応する問題を追加する(整理や移動してて、どこかの時点で問題が抜け落ちた？最初からなかった？)
• findやfindBinaryTreeを単に消す
• その他？

変位指定はあるが、型パラメータの境界についての言及はないので追加したい

以下の表記で優先度を付けたほうが良さそうです。

本テキストでは、節や項ごとに、どの程度重要かを示すために★マークを付けていることがあります。以下に基準を示しますので、参考にしてください。

★★★： 必ず読むべき（must）
★★：読んだ方がいい（should）
★：読むといいかも（may）

https://github.com/dwango/scala_text/blob/master/src/typeclass.md

• See: https://github.com/rlmv/gitbook-plugin-anchors

• http://dwango.github.io/scala_text/implicit.html#implicitの値が解決される探索される範囲
• https://github.com/dwango/scala_text/blob/0fb95ccfcb44e2bc0d6c917a5130e00596e07efe/src/implicit.md#implicitの値が解決される探索される範囲

代案募集

http://dwango.github.io/scala_text/error-handling.html
「Optionの入れをを解消することができます。」

• HTMLでよく、「続きをよむ」クリックするまで表示が折りたたまれるのがありますが、あれをgitbookで実現できないかという話です（epub版は諦める）
• gitbookのmarkdown内で使えるHTMLタグには制限がある（＋折りたたみにはたぶんCSSをいじる必要がある？）ので、難しいかもしれませんがで、それができればスマートな気がします。
• 誰か詳しい人、情報plz

• 現状でも、見出しを元に自動的にIDを振ってくれるが、見出し名が変わると参照元も変えなくてはいけないのがいけてない
• この辺をみると

# 見出し名 {#見出しID}

のようにすることで、成果物のhtmlの中で特定の見出しを参照するときに、 hoge.html#見出しIDと参照することができる。

• 試験的にブランチ作って試してみたのが、これ で、成果物のHTMLに対しては確かにリンクを張ることができた
  • しかし、元のmarkdownをgithub上で参照したときに、 #見出しIDがそのままレンダリングされてしまう（汚染されてしまう）という欠点があるので、どうするかは微妙なところ…。
• いいアイデア求む

ドワンゴさん、お世話になっております。はてなの教科書でも勉強していたのですが、
https://github.com/hatena/Hatena-Textbook/blob/master/web-application-development-scala.md
Scalatraではなく、Play2の最新版で、Akka+Slickで非同期にMySQLを使った
CRUD+WebSocket+Ajaxも扱って欲しいです。
http://www.slideshare.net/yugolf/typesafe-reactiveplatformreactivesystem-scalasummitkansai

13章（ケースクラスとパターンマッチング）の木構造の問題で、解答例のmax(min)はBranch(v, Empty, Empty)がきたときに例外を投げてしまいます

https://github.com/dwango/scala_text/blob/ea05cda4aa235676726a251f3085cc1573e0e202/src/case-class-and-pattern-matching.md#練習問題-1

公開された後、できるだけはやく @xuwei-k がやる予定。
公開前に準備できる部分は準備済。
自動でtravis-ciからgh-pages branchへpublishまでする予定

http://d.hatena.ne.jp/xuwei/20151126/1448537637

見るのに支障がでるレベルで遅いので原因調査&対策が必要そうです・・。

誰か日本語詳しい人・・・。面倒なら "ひらがな" にするか、"計測する"　みたいに別の言葉で言い換えるか

• https://github.com/dwango/scala_text/blob/b226cd87ea786771070231390c0b4ec8a52a822f/src/test.md#コードカバレッジの測定
• http://woman.mynavi.jp/article/130930-019/
• http://oshiete.goo.ne.jp/qa/773330.html

http://dwango.github.io/scala_text/future-and-promise.html

まだ実装時間に余裕がある場合は、Semaphore（セマフォ）という常に特定個数ずつしか実行されない処理を実装してみましょう。

とあるが、答えがない。

そもそも問題として可能か、詳細な要件書かなくていいのか？、レベルとして適切か？などを考えて、この問題の答え以前に、別の問題入れるなどを検討するのもありかもしれない？

いずれにせよ、もし可能なら答えあるに越したことはないので、優先度それほど高くない(?)が、issueにしておく

sbtのversion確認方法は状況により異なり、sbt --version　では動作しない場合がある。
https://github.com/dwango/scala_text/blob/master/src/sbt-install.md

• 0.13.8では動作して、0.13.9以降だと動作しない(?)

• 元々は解答例を別の場所に移したかったからなのだが、tut:invisible使ってその場で書く
  • 解答例を移したら、answer.mdから順次削除
• 関連： ref #29

https://github.com/dwango/scala_text/blob/f760890047eace599cd32546cc0c7d66075914b4/src/type-parameter.md#演習問題

immutableといっているし、(いずれにせよmutableだとしても) isEmpty などは副作用はないはずなので、
def isEmpty() ではなく def isEmpty にしておくべきではないか？

def pop() もある意味同様の問題があるが、空の場合は例外投げるので、副作用あると捉えることも可能(?)なので、微妙に別問題？

気がついてないだけで、同様の問題は他にもあるかもしれない