型推論 - 版の履歴

2025年7月11日 (金) 02:35にAdministratorによる

2025-07-11T02:35:39Z

← 古い版		2025年7月11日 (金) 02:35時点における版
1行目:		1行目:
	'''型推論'''（読み：かたすいろん）とは、一部の[[プログラミング言語]]に搭載されている機能で、[[変数]]の[[型]]~~を初回利用時から決定するという機能である。~~		'''型推論'''（読み：かたすいろん）とは、一部の[[静的型付け]]な[[プログラミング言語]]に搭載されている機能で、[[変数]]の[[型]]を推論することで[[静的型付け]]っぽく利用できるという機能です。

	==概要==		==概要==
	~~型推論は[[動的型付け]]と似ているが、[[プログラム]]を実際に動かさなくても、[[ソースコード]]のレベルで[[型]]を決定できる点で大きく異なる。~~		<source lang="csharp">
			// 整数と推論
			var x = 0;

			// 単精度浮動小数点と推論
			var y = 0f;

			// 文字列と推論
			var z = "abc";
			</source>

			動的型付けと似ていますが、型推論では一度確定した型は変更できないという点が異なります。
			<source lang="csharp">
			var a = 0;
			a = "abc"; // エラー、これはできない。
			</source>

			一方、動的型付けでは数値型だった変数に後から文字列をぶち込んだりできてしまいます。
			<source lang="php">
			$a = 0;
			$a = "abc";
			</source>

	[[C Sharp\|C#]]などのように型推論と[[動的型付け]]の両方を搭載している[[プログラミング言語]]もあることからも解るように、どちらが優れているというものではなく、時と場合により使い分けるべきものである。		[[C Sharp\|C#]]などのように型推論と[[動的型付け]]の両方を搭載している[[プログラミング言語]]もあることからも解るように、どちらが優れているというものではなく、時と場合により使い分けるべきものである。

	==関連項目==		==関連項目==
	*[[動的型付け]]		* [[静的型付け]]
			* [[動的型付け]]

	[[category: プログラミング]]		[[category: プログラミング]]

2025年7月11日 (金) 02:29にAdministratorによる

2025-07-11T02:29:37Z

← 古い版		2025年7月11日 (金) 02:29時点における版
9行目:		9行目:
	*[[動的型付け]]		*[[動的型付け]]

	~~==参考文献==~~		[[category: プログラミング]]
	~~{{reflist}}~~

	~~{{stub}}~~

180.53.164.133: /* 概要 */

2014-06-02T08:29:56Z

概要

← 古い版		2014年6月2日 (月) 08:29時点における版
2行目:		2行目:

	==概要==		==概要==
	~~型推論は動的型付けと似ているが、~~[[プログラム]]を実際に動かさなくても、[[ソースコード]]のレベルで[[型]]を決定できる点で大きく異なる。		型推論は[[動的型付け]]と似ているが、[[プログラム]]を実際に動かさなくても、[[ソースコード]]のレベルで[[型]]を決定できる点で大きく異なる。

	[[C Sharp\|C#]]などのように型推論と[[動的型付け]]の両方を搭載している[[プログラミング言語]]もあることからも解るように、どちらが優れているというものではなく、時と場合により使い分けるべきものである。		[[C Sharp\|C#]]などのように型推論と[[動的型付け]]の両方を搭載している[[プログラミング言語]]もあることからも解るように、どちらが優れているというものではなく、時と場合により使い分けるべきものである。

180.53.164.133: ページの作成：「'''型推論'''（読み：かたすいろん）とは、一部のプログラミング言語に搭載されている機能で、変数の型を初回利用...」

2014-06-02T08:29:43Z

ページの作成：「'''型推論'''（読み：かたすいろん）とは、一部のプログラミング言語に搭載されている機能で、変数の型を初回利用...」

新規ページ

'''型推論'''（読み：かたすいろん）とは、一部の[[プログラミング言語]]に搭載されている機能で、[[変数]]の[[型]]を初回利用時から決定するという機能である。

==概要==
型推論は動的型付けと似ているが、[[プログラム]]を実際に動かさなくても、[[ソースコード]]のレベルで[[型]]を決定できる点で大きく異なる。

[[C Sharp|C#]]などのように型推論と[[動的型付け]]の両方を搭載している[[プログラミング言語]]もあることからも解るように、どちらが優れているというものではなく、時と場合により使い分けるべきものである。

==関連項目==
*[[動的型付け]]

==参考文献==
{{reflist}}

{{stub}}