evaluation-strategy

    0熱

    2答えて

    Typescriptで非短絡条件を行う方法は？

    typecriptの非短絡状態をどのように評価するのですか？ Typescriptではブール型の場合は&または|を使用できません。 私が非短絡チェックが必要な理由は、関数isValueValidでshowErrorsを呼び出すことです。私はこの1つ if(isValue2Valid() & isValue2Valid()){ //Submit data return; } show
    javascript typescript evaluation-strategy 2016-09-21

    2熱

    1答えて

    コール別の評価を誤解していますか？

    まず、私はこれらのことを何も学んだことがないので、申し訳ありませんが、私は非常にばかげた質問をしているかもしれませんが、私に簡単に行ってください:) 私はラムダ計算必要に応じた評価を行います。私は、関連するビットが28ページに記載されている自然なセマンティクスであると思われる件名のthis paperに従おうとしています。 とにかく、私がこの評価戦略について理解していないことは、実際の置換は変数を
    evaluation lambda-calculus evaluation-strategy 2016-08-04

    11熱

    3答えて

    Scalaは参照によって呼び出し可能ですか？

    私はScalaがALGOLの名前による呼び出しをサポートしていることを知っています。その意味を理解していると思いますが、C＃、VB.NET、C++のようにScalaが呼び出しを参照することはできますか？私はJavaが参照による呼び出しを行うことができないことを知っていますが、この制限が言語またはJVMのみに起因するかどうかはわかりません。 これは、膨大なデータ構造をメソッドに渡したいが、そのコピー
    scala calling-convention evaluation-strategy 2011-01-25

    1熱

    1答えて

    名前で電話をかけてもらってもいいですか？

    私はこの話題が何度か議論されたことは知っていますが、私にはまだ不明な点があります。 私はこの質問applicative-order/call-by-value and normal-order/call-by-name differencesを読んで、私は一度明確にするために何かがあると、すべてのために： による呼び出し名正順として 、ない削減は抽象化の内部で実行されません。たとえば、λx。（λx
    lambda-calculus callbyname evaluation-strategy 2016-07-06

    1熱

    1答えて

    std :: conditionalのようなC++メタ関数の評価戦略（eager、lazy、...）は何ですか？

    C++ 14ドラフトn4140読み取り Tはtemplate <class T> struct underlying_typeの列挙型 なければなりません。 それはTは、任意のタイプにすることができたときに std::conditional_t<std::is_enum<T>::value, std::underlying_type_t<T>, foo> を書くためにどのように悪いのですか？私
    c++ metaprogramming template-meta-programming order-of-evaluation evaluation-strategy 2016-12-21

    5熱

    1答えて

    ラムダ計算、通常の順序、ノーマル形式、

    ラムダ計算では、用語が正規形である場合、通常の順序削減戦略は常にそれを生成します。 私はちょうど上記の命題を厳密に証明する方法を疑問に思っていますか？
    lambda-calculus evaluation-strategy 2016-01-30
最新の質問