type-systems

    28熱

    6答えて

    タイプが「ボックス化」されているとはどういう意味ですか？

    いくつかの言語で "ボックス化"と呼ばれるタイプについて聞いたことがあります。 Javaでは、私は "autoboxing"について聞いたことがあります。これは何ですか？それは型のラッパークラスを持っていますか？ボックス化されたタイプまたはボックス化されていないタイプで作業している場合、コードはどのように変更されますか？
    java types terminology type-systems autoboxing 2009-09-13

    56熱

    4答えて

    型安全性に関するハスケル型と新型

    私はnewtypeがハスケルでdataと頻繁に比較されていることを知っていますが、私は技術的な問題よりもデザインの観点からこの比較を提起しています。 imperitive/OO言語では、プリミティブ型を多用すると、プログラムの型安全性が低下し、誤って同じ型付き値の互換性が導入されます。 。例えば、多くのものはStringでもかまいませんが、コンパイラが静的に、名前であることを意味し、住所の中にある
    design haskell types type-systems 2009-06-13

    19熱

    4答えて

    Haskellで上位ランクのタイプを使用したことは何ですか？

    ランクの種類が大きいほど面白く見えます。 Haskell wikibookからこの例を付属しています。 foo :: (forall a. a -> a) -> (Char,Bool) foo f = (f 'c', f True) は、今、私たちは、コンパイラが爆発せずに foo idを評価することができます。この例題は、私がいくつかの場所で見た実世界の例であるSTモナドと runSTによ
    haskell types polymorphism type-systems higher-rank-types 2009-09-25

    20熱

    2答えて

    型推論の限界は何ですか？

    タイプ推論の限界は何ですか？どのタイプのシステムには一般推論アルゴリズムがありませんか？
    type-inference sml type-systems hindley-milner 2009-08-09
最新の質問