TYPE CONSTRUCTOR 日本語 意味 - 日本語訳 - 英語の例文

• 型コンストラクタ

英語 での Type constructor の使用例とその 日本語 への翻訳

Where F is a type constructor.
Functorfのfは、typeconstructorである。

This is a type constructor that takes type constructor(s): a higher-kinded type..
型コンストラクタを受け取る型コンストラクタ:高カインド型だ。

This is normally called a type constructor.
これは普通型コンストラクタと呼ばれる。

This is a type constructor: a 1st-order-kinded type..
型コンストラクタ:1階カインド型だ。

These are normally called type constructors.
これらは、型コンストラクタと呼ばれる。

Lists(actually the list type constructor,[]) are applicative functors. What a surprise!
リスト（正確に言えばリスト型のコンストラクタ[]）もアプリカティブファンクターです。意外ですか？

The immutable keyword can be used as a type constructor:.
予約語immutableはtypeconstructorとして使うことができます:。

Lists(actually the list type constructor,[]) are applicative functors.
リスト（正確に言えばリスト型のコンストラクタ[]）もアプリカティブファンクターです。

Haskell is using newtype to implement First type constructor.
Haskellはnewtypeを使ってFirst型コンストラクタを実装している。

In other words, this is a type constructor that accepts another type constructor.
別の言い方をすると、これは型コンストラクタを受け取る型コンストラクタだ。

The feature I added yesterday allows type A to be promoted as M[A] by adding a fake type constructor.
僕が昨日追加したのは型Aに偽の型コンストラクタをつけてM[A]に昇進させる方法だ。

The identifier is the name of the type constructor being defined.
識別子は定義される型構成子の名前になります。

The first place to consider is the companion object of an associated type(in this case a type constructor):.
関連する型の(この場合は型コンストラクタ)のコンパニオンオブジェクトに置くことをまず考えてみる:。

Scope axes A scope axis is a type constructor similar to Option[A].
スコープ軸スコープ軸（scopeaxis）は、Option[A]に似た型コンストラクタであり、。

There's a datatype in Cats called EitherK[F[_], G[_], A], which is an either on type constructor.
CatsにはEitherK[F[_],G[_],A]というデータ型があって、これは型コンストラクタにおけるEitherだ。

StateT is a monad transformer, a type constructor for other datatypes.
StateTはモナド変換子で、これは他のデータ型を受け取る型コンストラクタだ。

The type constructor list(seq) converts any sequence or iterable into a list with the same items in the same order.
型コンストラクタlist(seq)はすべてのシーケンスあるいはイテラブルを同じ要素、同じ順序のリストに変換します。

Scope axes A scope axis is a type constructor similar to Option[A].
スコープ軸（scopeaxis）は、Option[A]に似た型コンストラクタであり、スコープの各成分を構成する。

The type constructor tuple(seq) converts any sequence(actually, any iterable) into a tuple with the same items in the same order.
型コンストラクタtuple(seq)はすべてのシーケンス(実際には、すべてのイテラブル)を同じ要素、同じ順序のタプルに変換します。

Similarly, a higher-kinded type is a type constructor that accepts other type constructors.
同様に、高カインド型は型コンストラクタを受け取る型コンストラクタだ。

A scope axis is a type constructor similar to Option[A], that is used to form a component in a scope.
スコープ軸（scopeaxis）は、Option[A]に似た型コンストラクタであり、スコープの各成分を構成する。

List as a Cartesian LYAHFGG: Lists(actually the list type constructor,[]) are applicative functors.
CartesianとしてのListLYAHFGG:リスト(正確に言えばリスト型のコンストラクタ[])もアプリカティブファンクターです。

It may be a value, a type constructor, or anything else that a given module can provide.
モジュールで提供される物ならば、値、型、コンストラクタ、その他なんでもよい。

They are used in particular to denote XML tag names, and also to simulate ML sum type constructors and exceptions names.
特にXMLタグ名を示すのに、又、MLの直和型コンストラクタ及び例外名を真似るのにも、使われるものである。

For example, an instance of Applicative[M[_]] is(*-gt;*)-gt;*(a type constructor that takes another type constructor that that takes exactly one type).
具体的には、Applicative[M[_]]のインスタンスは(*-gt;*)-gt;*(ただ1つの型を受け取る型コンストラクタを受け取る型コンストラクタ)だ。

With-Ypartial-unification it will now compile, but it's important to understand that the compiler will now assume that the type constructors can be partially applied from left to right.
Ypartial-unificationによってコンパイルするようになるが、コンパイラは型コンストラクタが左から右へと部分的に適用可能だという前提で推測を行うことに注意する必要がある。

Coding in abstract Now that we were able to abtract the type constructor of the followers, let's try implementing isFriends from day 10 that checks if two users follow each other.
抽象におけるコードフォロワーの型コンストラクタを抽象化できたところで、10日目にも書いた相互フォローしているかどうかをチェックするisFriendsを書いてみよう。

Lists as Apply LYAHFGG: Lists(actually the list type constructor,[]) are applicative functors. What a surprise!
ApplyとしてのListLYAHFGG:リスト(正確に言えばリスト型のコンストラクタ[])もアプリカティブファンクターです。

Next, we need to modify the kind of ReaderTOption to*-gt;*(a type constructor that takes exactly one type as its parameter).
次に、ReaderTOptionのカインドを*-gt;*(ただ1つのパラメータを受け取る型コンストラクタ)に変える。