Tomoki Mizogami
Tomoki Mizogami
When I execute this delete query on MysqlJdbcContext (MySQL 5.7): ```scala ctx.run(quote { query[TestTable].filter(_.id == 1).delete }) ``` a following syntax error occurs: ``` [error] java.sql.SQLSyntaxErrorException: You have an error...
List[Option[_]] の fmap が Functor ではなく Profunctor の fmap として認識されてしまう。 なんなら `listOptionA.fmap(_.fmap(f))` みたいなことをすると PartialFunction[Option, A, B]` みたいな感じになる。
When call fmap method continuously, error "value fmap is not a member of ..." is occured. ## Reproduce ``` scala> val id: Id[Int] = 1 val id: hamcat.data.Id[Int] = 1...
モノイドは、圏論とプログラミングの両方において重要な概念です。圏は、強い型付き言語に対応しており、モノイドは型なし言語に対応しています。モノイドにおいては、任意の2つの射を合成できるからです。型なし言語においては、任意の2つの関数を合成することができます（もちろん、プログラムを実行するときに実行時エラーで終わるかもしれません）。 モノイドとは、1つの対象からなる圏で、全ての論理は射の合成規則にエンコードされるものと説明しました。この圏論的なモデルは、より伝統的なモノイドの集合論的定義と全く等しいです。集合論におけるモノイドでは、集合の2つの元を操作して3つ目の元を得ることができます。この操作のプロセスは、まず元のペアを作って、このペアを既存の元に識別する操作と分析できます。これは、積です。
29章 トポイ
28章 豊穣圏
27章 カン拡張