[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part33 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
54(1): 2020/03/08(日)11:51:03.08 ID:+VYxIyVU(1) AAS
spacemacs（intero）からvscode（hie）に移行しました。
前者だとノーマルモード時に, s bでターミナル起動+stack ghciできてたのですが、
vscodeで同じようにやるのは、どうやったら出来ますか？
238: 2020/04/19(日)01:36:44.08 ID:WM8Q0HWB(2/2) AAS
``` code
type O x a b = (b -> x) -> a -> x
type C x a b = a -> (b -> x) -> x
in_away :: O x c d -> O x b c -> O x a b -> O x a d
in_away cd bc ab = cd %.% bc %.% ab where (%.%) = flip (.)
in_home :: C x c d -> C x b c -> C x a b -> C x a d
-- in_home cd bc ab = to_home $ in_away (to_away cd) (to_away bc) (to_away ab) where
-- in_home cd bc ab = ext cd . ext bc . ab where
in_home cd bc ab a = new a %>>=% ab %>>=% bc %>>=% cd where
(%>>=%) = flip ext
ext = to_home_fmap . to_away
new = to_home id
to_home_fmap = flip (.)
to_home = flip
to_away = flip
```
厳密には、`flip`は随伴ではないが、`Set^op (a, b)`と`Set (b, a)`が集合
として同型になることを使うと、実質的な随伴の役割を果たす。
291: 2020/04/28(火)22:37:15.08 ID:GL0e6TlJ(1) AAS
よし採用
299(1): 298 2020/04/29(水)15:39:17.08 ID:Cpi+Il5+(2/2) AAS
ちなみに、Ruby on Rails の場合、コンパイルに必要なパッケージは、
sudo apt-get update
してから、
sudo apt install -y build-essential
build-essential には、
gcc(GNU C compiler), g++(GNU C++ compiler), libc6-dev(GNU C Library), make などが入っています
次に、openssl, readline, zlib のパッケージをインストールします。
sudo apt-get install -y libssl-dev libreadline-dev zlib1g-dev
データベースの、libsqlite3-dev, sqlite3 をインストールします。
sudo apt-get install -y libsqlite3-dev sqlite3
309(1): 2020/05/04(月)03:20:08.08 ID:tNWuxt0H(1) AAS
待ち遠しい「Algorithm Design with??Haskell」
外部ﾘﾝｸ:www.cambridge.org
386(1): 2020/08/17(月)19:01:32.08 ID:QJrG17W6(1) AAS
>>385
Haskell初心者に限った事柄ではないけれど、
こうした場で質問する者の心構えとして
出てしまったエラーメッセージをコピペする
といった、当たり前の行動は身につけるべきだと思うよ
389(1): 2020/08/17(月)20:38:28.08 ID:0Q701Csj(1) AAS
>>388
>>385 をコピペしたら、俺の環境では動いたよ。
取り急ぎ。
708: 2021/02/05(金)20:00:27.08 ID:DBOaHn9B(2/2) AAS
>>707
すいません。
肝腎の memoize 関数の定義を書き忘れました。
memoize :: (Int -> a) -> (Int -> a)
memoize f = (map f [0 ..] !!)
先に紹介した記事にこれを導く過程や、
より速くより一般化する方法を学びたい人へ向けた
URL紹介が載っています。
912(1): 2021/09/27(月)20:38:39.08 ID:MDVYajz0(1) AAS
>>910
パフォーマンスの実験もね。
理論上パフォーマンスが落ちると分かっていても、実用上は問題ない場合も多い。
971: 2021/12/14(火)17:39:35.08 ID:iFoIKYew(2/3) AAS
>>966
なにこの一覧
980: 2021/12/14(火)23:16:06.08 ID:NLEjPnNU(1) AAS
こんな話で勢いづいてるんじゃないよ君ら
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.038s