typechecking

26熱

2答えて

Haskell/GHC UnndecidableInstances - 非終了型チェックの例？

コンパイルするために-XUndecidableInstancesが必要なHaskellコードを書いています。私はそれがなぜ起こるか、違反された特定の条件があり、それゆえGHCが叫ぶことを理解しています。しかし、タイプチェッカーが実際にハングアップしたり、無限ループに巻き込まれたりすることはありません。終了しないインスタンス定義はどのようなものですか？例を挙げてください。例えば

1熱

1答えて

VB.Netの関数インターフェイスパラメータを使った型チェックfun

パラメータの1つがインターフェイスである場合、Visual Studioは型チェック関数のパラメータを停止しているようです。は、次のことを考えてみましょう： ' An interface and the class that implements it: Public Interface IA End Interface Public Class A Implements I

6熱

4答えて

GHCはどのような場合にチェックを行うのですか？

GHCが発生すると、無限の型を構築できなくなります。コードの一般的なエラーを防止したり、型チェッカーが無期限にループするのを防ぐのは目的ですか？どのような場合がありますか？悪意のあるユーザーが（Safe Haskellのコンテキストのように）それを騙してループする可能性がありますか？型システムが完成していれば（それは？）私はGHCが計算が停止することをどのように保証できるのか理解していません。

4熱

1答えて

プロローグでタイプチェッカーを行うにはどうすればいいですか？

私はプロローグには新しく、タイプチェッカーを実装すると思います。どのくらい私はそれについて行く必要がありますか？これは、例えば次のようになります。 String s; int i; i = s.length(); // OK (example given in the homework) 私は物事が入力されますどのように教授に尋ねられたとき、それは次のようになります。 instance(s,

22熱

2答えて

オブジェクトクラスのチェック方法R

Rでオブジェクトのクラスをチェックするのに好ましい方法は何ですか？（1） is.data.frame(df) （2） class(df) == 'data.frame' （3） 'data.frame' %in% class(df)

10熱

3答えて

テンプレート引数がvoidの場合はコンパイル時にチェック

私が選択したときにエラーをチェックするためにWindows API関数をラップしようとしています。以前のSOの質問で分かったように、テンプレート関数を使用してAPI関数を呼び出し、GetLastError()を呼び出して設定したエラーを取得することができます。私はこのエラーを私のErrorクラスに渡して、私に知らせてもらうことができました。これは素晴らしい作品 int WINAPI someFun

0熱

3答えて

Luaで型チェックをしているOOP

私はLuaで継承を使ってクラスを実装しようとしています。さらに、新しいオブジェクトを作成するときには、ある種の「型チェック」が必要です。一つの特定の要件は、クラス（例）を作成するための特定のシンタックスを使用することである。 Class({Volkswagen, Vehicle, model=String, speed=Number, driving=Boolean}) パラメータが可変長の

7熱

1答えて

Rでは、 `is.list（x）`と `is（x、 'list'）の動作が異なります。

以下の動作についての説明は何ですか？ is.list(data.frame()) ## TRUE is(data.frame(),'list') ## FALSE is(data.frame()) ## "data.frame" "list" "oldClass" "vector" extends('data.frame','list') ## TRUE inherits(data.fra

6熱

1答えて

正規表現を使用してMySQLでデータチェックを行うことは可能ですか

私は電話番号という属性があり、このフィールドのエントリに特定の妥当性を適用したいとします。正規表現は制約を定義する際に非常に柔軟なので、この目的のために正規表現を使用できますか？

8熱

3答えて

継承 - なぜこれは違法ですか？

私はC + +のクイズを行っています。そして、次のコードを見つけました。違法ですが、理由を理解できません。なぜこの行が説明できますか： Box* b1 = s1->duplicate(); は、「Shape *からBoxに変換できません」というコンパイラエラーを生成しますか？ s1->duplicate()は、s1が実際にBoxを指しているので、Box::duplicate()を呼び出している