意外と知らないType defaulting
error: Ambiguous type variable ‘a0’ ~ Haskellは高度な型推論を持っていますが、一部のケースではプログラマが明示的に型注釈を与えてやる必要があります。 ...
22
3
Comment0
4 search resultsShowing 1~4 results
Stocked
You need to log-in
コンパイラの中間表現いろいろ
中間表現 一般に、あるプログラミング言語で書かれたソースコードと、コンパイラが成果物として出力する目的コードには抽象度に大きな隔たりがあります。 例を挙げると、1 + 2 - 3のような単純な数...
37
32
Comment0
GHCでの中置演算子のパース
Haskellでは、中置演算子を自由に定義することができ、多くの中置演算子を活用してプログラムを書きます。 module Main where (<=>) :: Ord a =>...
19
6
Comment0
Common Lispの型宣言
この記事はLisp Advent Calendar 2016の24日目の記事です。 年末に入りとうとうクリスマスイブですが皆様いかがお過ごしでしょうか。 Common Lispは動的型付けの言語...
16
8
Comment0
4 search resultsShowing 1~4 results
Qiita is a knowledge sharing service for engineers.
- You can follow users and tags
- You can stock useful information
- You can make edit suggestions for articles