[haskell] タグが付いた質問

Haskell は純粋、遅延評価、静的型付けを特徴とする関数型言語。

絞り込み
並べ替え
タグ付けされた
0
1 回答
237 閲覧数

Swiftの付属型enumからデータを取り出すようなコードをHaskellで書きたい

Haskell 代数的データ型 超入門 - Qiita で Haskellのデータ型はEnumのようであるというような記述を見かけました。サンプルに載っている data Color = Blue | Red | Green | White は Swiftで書くと enum Color { case blue case red case green case ...
shingo.nakanishi's user avatar
0
1 回答
101 閲覧数

データ型の1番目の要素にアクセスするにはどうすればいいんでしょうか?

代数的データ型 - ウォークスルー Haskell を参考にしています。 フィールドラベルを使用した下記のコードでは内部のデータに簡単にアクセスできています。 引用: data Person = Person { name :: String, age :: Int } taro = Person { name = "Taro", age = 25 } main = do ...
shingo.nakanishi's user avatar
6
2 回答
376 閲覧数

内包表記で生成したリストを2回使うと、スペースリークでシステムが停止してしまう

円周率を近似するコードです。 main :: IO () main = do let points = [(x,y) | x<-range 10000, y<-range 10000] let all = length $ points let hit = length $ filter ((<= 1) . distance) points ...
Legokichi Duckscallion's user avatar
2
1 回答
320 閲覧数

代数的データ型は木構造で表現されるとあるが、どのような構造になるのかよくわからない

前置き 下記の例のように代数的データ型は木構造で表現されるという説明がありますが、どのような構造になるのかいまいち理解できません。 代数的データ型 - ウォークスルー Haskell 代数的データ型(algebraic data type)とは,図のように木構造で表現される値からなるデータ型のことです. 配列のような一部の例外を別とすれば,Haskell ...
shingo.nakanishi's user avatar
1
1 回答
298 閲覧数

実行時に Non-exhaustive patterns in case エラー になるので、実装漏れに気づけない

Swiftの付属型enumからデータを取り出すようなコードをHaskellで書きたいで付属型enumと同じようにHaskellを書くにはどうすればいいかと聞きました。 確かに Swiftコード import Foundation enum Barcode { case upca(Int, Int, Int, Int) case qrcode(String) } func ...
shingo.nakanishi's user avatar
0
2 回答
115 閲覧数

MonadのmやFunctorのfが何をさしているのかわからない。そして instance 側の記法もわからない。

箱で考えるFunctor、ApplicativeそしてMonad - Qiita に Maybeの定義が載っていました。 class Monad m where (>>=) :: m a -> (a -> m b) -> m b そして Functors, Applicative Functors and Monoids - Learn You a ...
shingo.nakanishi's user avatar
0
1 回答
236 閲覧数

error: Non type-variable argument in the constraint: Num (MayNull a) (Use FlexibleContexts to permit this)というエラーが出る

コード 下記のように自作のMaybeぽいものを作ってみました。 data MayNull a = Have a | Null deriving Show incMayNull (Have x) = x + 1 incMayNull Null = Null v = Have 1 foo = incMayNull v main = do print foo 実行結果 実行すると下記エラーです。 ...
shingo.nakanishi's user avatar
0
1 回答
145 閲覧数

Ambiguous type variable `a0' arising from a use of `getFromInt' prevents the constraint `(GetFromIntable a0)' from being solved. というエラーがでる

type classの学習のために、かなり人工的ですが下記のようなコードを書いてみたところ、Showable, Changeableは機能しているのですが、GetFromIntableが機能していないようでエラーになりました。 コード data Color = Red | Green class Showable a where myshow :: a -> String class ...
shingo.nakanishi's user avatar
0
2 回答
193 閲覧数

The typical reason for this is that there is not enough memory available (e.g. the OS killed a process using lots of memory) のエラーが発生する

No compiler found, expected minor version match with ghc-8.8.4とは直接関係ないと思いますが、続き的な意味合いの質問です。 Dockerfileに FROM haskell:8 RUN cabal update && cabal install pandoc pandoc-citeproc ENTRYPOINT [&...
shingo.nakanishi's user avatar
0
2 回答
206 閲覧数

No compiler found, expected minor version match with ghc-8.8.4

haskell - Docker Hub に Dockerize an application using stack: FROM haskell:8 RUN stack install pandoc pandoc-citeproc ENTRYPOINT ["pandoc"] とあるので、これはDockerfileに記載するんだなと推測して、...
shingo.nakanishi's user avatar
0
2 回答
90 閲覧数

Couldn't match expected type ‘Tree’ with actual type ‘(Tree, Tree)’ になる理由がわからない

代数的データ型は木構造で表現されるとあるが、どのような構造になるのかよくわからない の回答を受けて実際にコードを書いてみてよくわからないところが出たので別の質問として投稿します。 data Tree = Empty | Leaf Int | Node Tree Tree v = Node (Leaf 100) (Node (Leaf ...
shingo.nakanishi's user avatar
0
1 回答
181 閲覧数

再帰的にべき乗を計算したいが、途中までしかできない

haskellでべき乗計算をしたいのですが、 現在は実行結果["8"] ["2","^",3"]までしか計算できません。 再帰的に["256"]を計算できるようにどのようにすればよいでしょうか getLastThreeValues :: [String] -> [String] ...
yuzuさん's user avatar