ハナゴケ類などがトナカイゴケと呼ばれ、北極圏ではトナカイなど家畜の餌に利用されることもある。また、ハナゴケの仲間はそのままの形で緑に染めて、鉄道模型やジオラマの樹木として用いられることもある。コケ植物との見分け方.外見が似ており共通する性質もあるコケ植物(蘚苔類)とよく混同されるが、上記の通り、菌類と藻類の共生生物であるため全く異なる生物である。見分け方として以下のようなものがある。地衣類の種類.関数型プログラミング()とは、関数型プログラミングを推奨しているプログラミング言語である。略して関数型言語()ともいう。概要.関数型プログラミングは、関数を主軸にしたプログラミングを行うスタイルである。ここでの関数は、数学的なものを指し、引数の値が定まれば結果も定まるという参照透過性を持つものである。関数型プログラミングは、参照透過性を持つような数学的な関数を使って組み立てた式が主役となる。別の箇所に定義されている処理を利用することを、手続き型プログラミング言語では「関数を実行する」や「関数を呼び出す」などと表現するが、関数型プログラミング言語では「式を評価する」という表現も良く使われる。参照透過性.参照透過性とは、同じ値を与えたら返り値も必ず同じになるような性質である。参照透過性を持つことは、その関数が状態を持たないことを保証する。状態を持たない数学的な関数は、並列処理を実現するのに適している。関数型プログラミング言語の内で、全ての関数が参照透過性を持つようなものを純粋関数型プログラミング言語という。入出力.手法.言語.関数型プログラミング言語とは、関数型プログラミングを推奨しているプログラミング言語である。略して関数型言語ともいう。全ての関数が参照透過性を持つようなものを、特にという。そうでないものを非純粋であるという。関数型プログラミング言語の多くは、言語の設計において何らかの形でラムダ計算が関わっている。ラムダ計算はコンピュータの計算をモデル化する体系の一つであり、記号の列を規則に基づいて変換していくことで計算が行われるものである。手続き型プログラミングとの比較.