質問をすることでしか得られない、回答やアドバイスがある。

15分調べてもわからないことは、質問しよう!

新規登録して質問してみよう
ただいま回答率
87.20%
Haskell

Haskellは高い機能性をもった関数型プログラミング言語で、他の手続き型プログラミング言語では難しいとされている関数でも容易に行うことができます。強い静的型付け、遅延評価などに対応しています。

解決済

Non type-variable argument in the constraint: IArray a Int

apo
apo

総合スコア346

Haskell

Haskellは高い機能性をもった関数型プログラミング言語で、他の手続き型プログラミング言語では難しいとされている関数でも容易に行うことができます。強い静的型付け、遅延評価などに対応しています。

1回答

0評価

0クリップ

157閲覧

投稿2022/07/30 07:50

編集2022/08/02 10:24

Data.Array.Unboxedの配列を関数を使って変換処理をしたい

Data.Array.Unboxedの配列を関数を使って変換処理をしたいです。

配列の値が1ならa、2ならbのように変換したい。
下記プログラムではeと表示させたい。

ですが、関数で実行させようとすると下記のようにコンパイルエラーとなります。

発生している問題・エラーメッセージ

[apo@arch my-project]$ stack build my-project> build (lib + exe) Preprocessing library for my-project-0.1.0.0.. Building library for my-project-0.1.0.0.. Preprocessing executable 'my-project-exe' for my-project-0.1.0.0.. Building executable 'my-project-exe' for my-project-0.1.0.0.. [1 of 2] Compiling Main /home/apo/doc/project/make/haskell/20220730_2/my-project/app/Main.hs:8:1: error: ~ Non type-variable argument in the constraint: IArray a Int (Use FlexibleContexts to permit this) ~ When checking the inferred type func1 :: forall {a :: * -> * -> *} {i}. (IArray a Int, Ix i, Num i) => a i Int -> IO () | 8 | func1 xs = do | ^^^^^^^^^^^^^... -- While building package my-project-0.1.0.0 (scroll up to its section to see the error) using: /home/apo/.stack/setup-exe-cache/x86_64-linux-tinfo6/Cabal-simple_mPHDZzAJ_3.4.1.0_ghc-9.0.2 --builddir=.stack-work/dist/x86_64-linux-tinfo6/Cabal-3.4.1.0 build lib:my-project exe:my-project-exe --ghc-options " -fdiagnostics-color=always" Process exited with code: ExitFailure 1

該当のソースコード

Haskell

module Main where import Data.Array.Unboxed data0 :: UArray Int Int data0 = Data.Array.Unboxed.array (0,3)[(0,8),(1,4),(2,6),(3,2)] func1 xs = do let t = ["a","b","c","d","e","f","g","h","i","j"] let a = t !! (xs ! 1) putStrLn(a) main :: IO () main = do putStrLn(show data0) func1 data0

試したこと

関数にしなければ(main関数の中であれば)エラーにならないことが確認できました。

補足情報(FW/ツールのバージョンなど)

ghc:8.10.7
stack:2.7.5
VirtualBox:6.1.36
ゲストOS:ArchLinux
ホスト:Microsoft Windows [Version 10.0.19044.1826]

全てのソースコード
https://github.com/ringo-apo/Data_Array_Unboxed

ご教示よろしくお願いします。

良い質問の評価を上げる

以下のような質問は評価を上げましょう

  • 質問内容が明確
  • 自分も答えを知りたい
  • 質問者以外のユーザにも役立つ

評価が高い質問は、TOPページの「注目」タブのフィードに表示されやすくなります。

気になる質問をクリップする

クリップした質問は、後からいつでもマイページで確認できます。

またクリップした質問に回答があった際、通知やメールを受け取ることができます。

teratailでは下記のような質問を「具体的に困っていることがない質問」、「サイトポリシーに違反する質問」と定義し、推奨していません。

  • プログラミングに関係のない質問
  • やってほしいことだけを記載した丸投げの質問
  • 問題・課題が含まれていない質問
  • 意図的に内容が抹消された質問
  • 過去に投稿した質問と同じ内容の質問
  • 広告と受け取られるような投稿

評価を下げると、トップページの「アクティブ」「注目」タブのフィードに表示されにくくなります。

まだ回答がついていません

会員登録して回答してみよう

15分調べてもわからないことは
teratailで質問しよう!

ただいまの回答率
87.20%

質問をまとめることで
思考を整理して素早く解決

テンプレート機能で
簡単に質問をまとめる

質問する

関連した質問

同じタグがついた質問を見る

Haskell

Haskellは高い機能性をもった関数型プログラミング言語で、他の手続き型プログラミング言語では難しいとされている関数でも容易に行うことができます。強い静的型付け、遅延評価などに対応しています。