IT練習ノート

IT関連で調べたこと(実際は嵌ったこと)を書いています。

2017-01-01から1年間の記事一覧

Int * Doubleは不可

> let a1 = 2 :: Int > let a2 = 3 :: Int > a1 * a2 6 > let b1 = 2 :: Double > let b2 = 3 :: Double > b1 * b2 6.0 > a1 * b2 <interactive>:1387:6: error: • Couldn't match expected type ‘Int’ with actual type ‘Double’ • In the second argument of ‘(*)’, nam</interactive>…

大文字小文字を区別せずにパースする

stackoverflow.com

JavaとHaskellのパースの違い

関数のパラメータ部分の解析を考えてみます。例えば、foo(1, 3, 4);の`(1, 3, 4)の部分をパースすることを試してみます。 仕様としては、 先頭にカッコ開き 末尾にカッコ閉じ 間に、カンマ区切りの数値 があるとします。 Javaの場合ですが、com.mysql.cj.xde…

fmapできない型

ProtocolBufferのパッケージ内にUtf8という型があります。 https://hackage.haskell.org/package/protoc… これは、StringBufferで表現されたデータが有効なUtf8であることを示した目印をつけたものです。 この、目印がつけられたデータに対して処理を考えた…

作業ログ

git gitignoreまとめ - maeharinの日記 unsigned int converter Unsigned integer (32-bit) Converter よくある名前 Most common last names in the United States, top 1000

作業ログ

mysql のインストール アンインストール mac OS XにHomeBrewでmysqlインストール。からの設定(mysql_install_db、mysql_secure_installation、my.cnf)やらアンインストールやら - tweeeetyのぶろぐ的めも SSL SSL/TLS(SSL3.0~TLS1.2)のハンドシェイクを復…

HaskellでHeteroなListを構築する

Heteroリストをfoldrでつくる 下記の実装のようにforlrでリストを作ることができるが、同様なことをHeteroなリストを作りたい。 http://hackage.haskell.org/package/base-4.5.0.0/docs/src/Data-Foldable.html#toList

作業ログ

Haskell パッケージの雛形 Haskeleton: a Haskell project skeleton · taylor.fausak.me Free Monadのリンク Free Monads

作業ログ

haskell An Introduction to Cabal sandboxes Lambda palmstroem.blogspot.jp

haddockのインクリメンタルサーチ

ちょっと作ってみた。そもそもなんで付いていないんだろうか。

作業ログ

Haskell Haskellの例外処理 | Netsphere Laboratories Exceptions Best Practices in Haskell

cabalでローカルにあるライブラリを使う

課題 ローカルに自作ライブラリのソースコードがある。 ライブラリ側の変更はない仮定(安定している仮定)。 そのライブラリを使うプログラムをローカルで作りたい。 ライブラリのソースコードとディレクトリは別にするが、cabalプロジェクトを作る。 ライブ…

作業ログ

Vim Vim の置換で後方参照 - Qiita ファイル内の各行ごとに編集処理を実行する、何行かおきに編集処理を実行する。 — 名無しのvim使い

作業ログ

haskell How to split a string in Haskell? - Stack Overflow Vim VimとWindows コピーの違い - World Wide Wonderful

作業ログ

haskell Data.Binary.Get 読み込みの場合、基本的にバイナリデータピッタリでないと実行時エラーとなる。runGetしてデータがない場合や不足した場合、Nothingや読み込め多分が返却されるような仕組みではない。(と思う)。終わりがわからない場合runGetOrFail…

MySQLのSample Databaseの設定

sample data https://dev.mysql.com/doc/index-other.html word_x-db Download and unzip shell> wget http://downloads.mysql.com/docs/world_x-db.zip shell> unzip world_x-db.zip Read instruction shell> less world_x-db/README.txt Connect to MySQL:…

ysql-connector-java-6.0.6のサンプル実行

$javac -cp .:mysql-connector-java-6.0.6-bin.jar DevApiSample.java $java -cp .:mysql-connector-java-6.0.6-bin.jar:lib/protobuf-java-2.6.0.jar DevApiSample Connected! Default schema is: Schema(foo) Currently reading Effi Briest on page 42 Cu…

作業ログ

haskell Haskell 文字列変換入門 - Qiita Example of streaming data from the database using Persistent and Conduit libraries in Haskell Smart Data with Conduits — Monday Morning Haskell

作業ログ

VIM vim-plugin NERDTree で開発効率をアップする! - Qiita Vim split line command - Stack Overflow haskell ストリーム処理ライブラリはなぜ必要なのか // Speaker Deck MySQL Streaming MySQL Results Using Java 8 Streams and Spring Data JPA

RealWorld Example を触ってみる

Haskell Servant RealWorld Example App リポジトリの場所 Haskell Servant RealWorld Example App インストール サイトの手順の通り データベース >sqlite3 /tmp/haskell-servant-test.db < {your_path}/haskell-servant-realworld-example-app/scripts/sch…

Preview版のVisual Studio for Mac の削除

下記を参考にしました。 Uninstalling Visual Studio for Mac | Microsoft Docs How to uninstall Visual Studio for Mac Preview version? Uninstalling Visual Studio for Mac | Microsoft Docs 自分の場合は下記で削除しました(それぞれの環境で異なると…

Basic認証のユーザIDとパスワードを削除する方法がわからない

Web検索をしても情報が見つからず。。。 Safari バージョン 9.0.3 (10601.4.4) 試したこと メニュー -> Safari -> 環境設定 -> パスワード 該当のサイトの情報なし メニュー -> Safari -> 環境設定 -> 自動入寮 該当のサイトの情報なし メニュー -> Safari -…

なぜトーラスやメビウスの輪が重要かわかる動画

トポロジーの入門書をみると、必ずトーラスやメビウスの輪が出てきます。しかし、そもそも論として「なぜトーラスやメビウスの輪を考察することが重要か?」ということはほとんど述べられていないと想います。その疑問に答える一つの回答の動画が下記です。 …

ServantチュートリアルのBasic認証でIO

http://haskell-servant.readthedocs.io/en/stable/tutorial/Authentication.html チュートリアルだとユーザIDパスワードチェックのコードがハードコードされています。一見、どこでIOできるのかわからなかったので試してみました。 Servant Basic Auth by u…

ServantのルーティングでのIO

ServantでhandlerでのIOの取り回しのサンプルはWebに情報があるのですが、:>で記述していくルーティングでのIOの取り回しがわからず四苦八苦していました。 HasServerという型クラスでルーティングを記述していきますが、このクラス自体にIOが明示的にはない…

作業ログ

MySQL CONV:X進数をY進数へ変換する VIM [一日一Vim](その4)大文字小文字変換 - Qiita Haskell haskell - Efficiently turn a ByteString into a hex representation - Stack Overflow string - Haskell How to Create a Word8? - Stack Overflow

作業ログ

音楽 Funky Decade Mix funk 80's live #12 greatest tracks - YouTube Haskell System.IO.Streams.Tutorial string - Haskell How to Create a Word8? - Stack Overflow SHA-1 SHA-1 - Wikipedia

ログのサンプル

a small sample (the smallest ?) of MonadLogger

ghciの使い方

プロンプトを変える :set prompt "foo>" バンドされている情報を見る :show bindings foo>let x = 123 foo>let y = "abc" foo>:show bindings x :: Num t => t = _ y :: [Char] = _ foo> ロードされているモジュールを確認する :show module foo>:l MyWebApp…

Polynomialを整形して表示する

Math.PolynomialパッケージのPoly型のShowは内部構造をそのまま文字列表現するので、読みにくいときがあります。そこで、多項式を数式のように表示するサンプルを書いてみました。 polynomial: Polynomials