typeclass

0熱

1答えて

Scalaでは、annotation.implicitNotFoundアノテーションのおかげで、暗黙的なものが見つからないときにコンパイラのエラーメッセージをカスタマイズできます。派生クラスのなんらかの理由でこのimplicitNotFoundエラーメッセージを継承する方法はありますか？つまり、次のようなものです。 scala> import annotation.implicitNotFoun

7熱

1答えて

Scalaは型クラス： "キャッチオール" の場合

次Haskellの型クラスとインスタンス： class Able a where able :: a -> Int instance Able Int where able x = x は、一般的にそうようにスカラ座に翻訳されています trait Able[A] { def able(a: A): Int } implicit object AbleIn

3熱

1答えて

Scalaでのタイプキャストのパフォーマンス

私はScalaでのタイプキャスティングの使用のコストを分析しようとしています。私が頻繁に使用されるとパフォーマンスが低下する傾向があることに気付きました。のは、例えば、ByteCodec型クラスを見てみましょう： trait ByteCodec[T] { def put(index: Int, byteBuffer: ByteBuffer, t: T): Unit def ge

1熱

1答えて

ghciのジェネリック関数の結果を表示する

特定のタイプのクラスの関数を使用していて、どのような具体的な型を指定していない場合でも、GHCIではこのことが少し混乱します。次のコードを考えてみましょう： pure (1+) <*> pure 1 > 2 私はそれを理解する方法、あなたはGHCiのに何かを入力すると、それは式を評価し、その上にputStrLn . showを呼び出します。しかし、どのようにこれを評価することができますか？な

2熱

2答えて

複数の暗黙的オブジェクトからの自動インポート

私はScalaの型クラスの概念を見つけましたが、実際には非常に好きです。私が見つけたすべての例では、1つのオブジェクトの下に型クラス（オブジェクト）が置かれているという問題があります（http://danielwestheide.com/blog/2013/02/06/the-neophytes-guide-to-scala-part-12-type-classes.html）多分これは間違って

7熱

2答えて

どのように矛盾した証拠を使用できますか？

about how to do subtyping in Haskellと書いているうちに、True ~ Falseなどの矛盾した証拠を "使用して"コンパイラに死んだブランチを知らせることができれば非常に便利だと私には気付きました。 use :: Void -> a use x = case x of は、私がConstraint充足不能のために類似した何かをしたいと思います：別の標準の空

8熱

1答えて

反射リスクの不整合はありますか？

reflectionパッケージは reify :: a -> (forall s . Reifies s a => Proxy s -> r) -> r が与えられたクラス class Reifies s a | s -> a where reflect :: proxy s -> a と機能を提供する唯一のこれらの、1でしむしろひどく、例えば、インスタンス instance R

5熱

1答えて

Scalaでtypeclassesを作成する方法はいくつかありますか？プログラミングScalaの本から取ら

A型クラス例： // src/main/scala/progscala2/implicits/toJSON-type-class.sc case class Address(street: String, city: String) case class Person(name: String, address: Address) trait ToJSON[A] { def t

5熱

2答えて

Haskellで "kindクラス"を作成する方法、またはタイプファミリを使用して型レベルでアドホック多型を作成する

私はHaskellの型のファミリ機能と型レベル計算を研究しています。 PolyKindsを使用して、タイプレベルでのパラメトリック多型を取得することは非常に簡単です表示されます。 {-# LANGUAGE DataKinds, TypeFamilies, KindSignatures, GADTs, TypeOperators, UndecidableInstances, PolyKinds, M

5熱

2答えて

Nim - メソッドを実装するオブジェクトのシーケンスを作成します。

ゲームをプログラミングしたいと思います。複数のエンティティにコンポーネントパターンを使用したいと思います。 interfaces/type-classes/multiple inheritanceの言語では問題ありません。いくつかのエンティティは更新可能ですがレンダリング可能ではないものが必要ですが、いくつかは両方とも必要です。ハスケル： class Updateable a where