haskell-jp / questions #96

Kenta Inoue

2021-03-12 18:10:48 +0900

@Kenta Inoue has joined the channel

sako

2021-03-13 02:35:35 +0900

@sako has joined the channel

Kenta Inoue

2021-03-13 13:20:38 +0900

質問はこちらの方が良いでしょうかね？

... Replies ...

Kenta Inoue

2021-03-13 13:33:21 +0900

まず、Haskellというよりももっと一般的な質問なのですが、
webアプリのバックエンドって、フロントから呼び出されるたびに起動して、データベースを読み込んだりするものなのでしょうか？

何がいいたいかというと、バックエンドでフロントから送られてきたデータを使ってリストを作りたいのですが、このリストは毎回データベースに保存しなければならないのか、それともバックエンドのプログラム内に保持しておくことができるのか、という質問です。

... Replies ...

Kenta Inoue

2021-03-13 13:34:51 +0900

しかもHaskellでデータを保持するとはどういうことなのか（参照等価なので）もよく分かっていないです。

... Replies ...

Kenta Inoue

2021-03-13 13:35:03 +0900

すみません、あまりうまく説明できないです...

Kenta Inoue

2021-03-13 13:42:38 +0900

やりたいことは、関数型言語Elmみたいな構造をバックエンドでもやりたくて以下の構造を作ってみたのですが、
'sが状態の型
'iが入力の型
'oが出力の型
で、バックエンドでやりたいのは、
初期状態がinit::'sと
状態state::'sと入力input::'iに対して、次の状態と出力を返す関数update::'s -> 'i -> 's,'oで定義できるのではと考えて、型を実装してみました。

問題はこの構造から具体的にデータベースへアクセスしたりJSONなどに変換したりする実装をどうするかというところで止まっています。

Kenta Inoue

2021-03-13 13:43:39 +0900

ちなみにこのコードは、形式検証をするために定理証明支援系Coqと呼ばれるもので記述したコードをHaskellのコードに変換したものになっています。

... Replies ...

Kenta Inoue

2021-03-13 14:18:15 +0900

理想としては、Architecture型の引数をもらって、それに応じてデータベースのやりとりとJSONの入出力を行ってくれる関数を定義したい感じです。

データベースから's型の変数を作り、入力のJSONを'i型に変換し、updateを施した後、返り値の's型のデータをデータベースに保存し、'o型の返り値をJSONに変換して出力。

... Replies ...

yousuke

2021-03-15 00:18:04 +0900

@yousuke has joined the channel

pyar6329

2021-03-16 11:47:57 +0900

@pyar6329 has joined the channel

matsubara0507

2021-03-21 18:02:43 +0900

persistent 関連のテストを書いてるんですけど、なんかいい感じに ~~モック~~ テスト用データを作ったりできるテストライブラリってあるんですかね？
Ruby (Rails) とかだと factory_bot とかを使うんですけど、パッと探した感じ、そういうの見つかりませんでした。

... Replies ...

2021-03-22 16:47:35 +0900

CloudWatch logのJSON形式で良い感じにログを出力させるOSSって既にありますか?
[amazonka-cloudwatch-logs: Amazon CloudWatch Logs SDK.]()
は出力するのではなく逆に出力を解析する方みたいで不適に見えます
ちゃんとフォーマットするかはともかく作ること自体は簡単そうですが、車輪の再発明はしたくないなと思ったのです
無いなら作ります

... Replies ...

quarter

2021-03-23 01:20:17 +0900

@quarter has joined the channel

Kengo Tachibana

2021-03-24 15:48:58 +0900

@Kengo Tachibana has joined the channel

kakkun61

2021-03-24 19:03:52 +0900

stack における下記のようなものって cabal にありますか？

stack ide targets

wasabi

2021-03-26 00:19:23 +0900

fused-effectsを用いて`callCC`をサポートするEffectを作ろうとしているのですが
実装がうまく行きません. どうすれば実装できるか知りたいです. 質問の詳細はスレッドに
続きます.

... Replies ...

金具

2021-03-30 01:05:43 +0900

@金具 has joined the channel

さんたむ

2021-03-30 01:20:12 +0900

@さんたむ has joined the channel

algas

2021-04-01 16:39:57 +0900

@algas has joined the channel

ペッパー君

2021-04-04 16:11:52 +0900

@ペッパー君 has joined the channel

Tomo

2021-04-09 14:25:54 +0900

@Tomo has joined the channel

basashi

2021-04-12 16:43:10 +0900

@basashi has joined the channel

basashi

2021-04-12 16:51:48 +0900

はじめまして，本日参加させていただきました．いきなりですが質問失礼します．
こちらと同じ機能をcaseを使って書くことはできるのでしょうか?

... Replies ...

basashi

2021-04-12 16:52:53 +0900

basashi

2021-04-12 17:06:13 +0900

すべて`x`でマッチしてガード式を使うというのは自分で思いつきました

Benjamin Bray

2021-04-13 00:40:59 +0900

@Benjamin Bray has joined the channel

Yasutaka Odo

2021-04-13 11:56:18 +0900

@Yasutaka Odo has joined the channel

kazu

2021-04-16 11:12:40 +0900

cabal v1-test で起動されるテストの CWD は、パッケージのトップディレクトリでした。テスト中にファイルパスを書くとき、パッケージのトップディレクトリから相対パスを書けばOKでした。

cabal v2-test で起動されるテストの CWD は、パッケージのトップディレクトリではないようです。ファイルパスは、どうやって書くのが正しいでしょうか？できれば、v1-test と共存できる方法が知りたいです。

... Replies ...

Shinichi Takano

2021-04-17 06:44:57 +0900

@Shinichi Takano has joined the channel

gksato

2021-04-17 14:29:40 +0900

前ここで質問させていただいた、
https://haskell-jp.slack.com/archives/C5666B6BB/p1594261873131500
に関連するのですが、haskellのlayout付きコードをbraces and semicolonsに完全に変換するのって、自分で例のレポートのL関数を(悪名高いparse-error(t)含め)実装するしかないのでしょうか？ ghcの拡張をふんだんに使ったコードを変換するので、あんまり車輪の再発明はしたくなくて…

... Replies ...

igrep

2021-04-18 17:33:52 +0900

ulidというパッケージについてrandom-1.2以降への対応を試みています
（背景: https://zenn.dev/autotaker/articles/random-1-2-is-awesome ）
どなたか、できればCPP使って1.2より前のバージョンと1.2以後両方の対応をやったことがあれば修正例として参考にさせていただけないでしょうか？

... Replies ...

Kazuhiko Sakaguchi

2021-04-19 17:04:42 +0900

@Kazuhiko Sakaguchi has joined the channel

Kazuhiko Sakaguchi

2021-04-20 15:45:41 +0900

こんにちは。GHC である計算 `act :: IO ()` を走らせたときに、それによってヒープ上に確保されたバイト数の総量（の近似）を知る方法をご存知の方がいたら教えてください。最初 `GHC.Stats` の `allocated_bytes` がそれかなと思っていたのですが、`act` を実行している間に勝手に GC が走らないように `+RTS -T -I0 -A8G -G1 -m1` を渡してみたところ、最初から 8GB の領域が確保された状態になり（従って `allocated_bytes` は 8 * 1024^3 になる？）、その中でどれだけのメモリが実際に使われているかが分かりません。

... Replies ...

Hiromi ISHII / mr_konn

2021-04-20 15:53:14 +0900

関数呼び出しに対してヒープアロケーション量をはかる場合だと、ぼくはよく weigh を使いますね
https://hackage.haskell.org/package/weigh

kazu

2021-04-22 14:00:13 +0900

bracket の第二引数(資源解放)で STM を利用すると、デッドロックを起こすことがあるのは、よく知られたことですか？

... Replies ...

2021-04-25 12:00:44 +0900

@ has joined the channel

hexirp

2021-04-25 15:12:58 +0900