Standard ML
Standard ML
Standard MLについて練習

Standard MLを学んでマスターしてみませんか？

ExercismのStandard MLトラックに参加すると、 90個の演習 コードの自動分析 と マンツーマンのメンタリング、 すべて100%無料で利用できます。

Standard MLトラックに参加する 演習を見る

Standard MLについて

fun fib 0 = 0
  | fib 1 = 1
  | fib n = fib (n - 1) + fib (n - 2)

Exercismには、Standard MLの90個のプログラミング演習があります。 シマウマのパズルから幼稚園の庭まで。

Exercismでは、楽しくやりがいのある演習を通して、コンセプトの理解を試しながらプログラミングを上達させられます。

シマウマのパズル

シマウマのパズル

シマウマのパズルを解きます。

ボトルの歌

ボトルの歌

人気の子どもの繰り返し歌『Ten Green Bottles』の歌詞を書きます。

幼稚園の庭

幼稚園の庭

図が与えられたとき、幼稚園のクラスのそれぞれの子どもがどの植物を担当するのかを判定します。

ExercismのStandard ML演習をすべて見る

Standard MLの主な機能

Standard ML

代数的データ型

定義も使い方も簡単で、堅牢なパターンマッチングとパターンの網羅性を備えています。

モジュール化

情報の隠蔽とジェネリック性をサポートする、強力で柔軟なシステムです。

静的型付け

安全第一！　コンパイル時に、プログラムの正しさを強く保証します。

関数型プログラミング重視

関数型プログラミングの利点をすべて活かしつつ、いくつかの命令型の機能も備えています。

自動型推論

コンパイラーは文脈から型を計算できることがよくあります。プログラムは簡潔になり、書きやすくなります。

パラメトリック多相

データ型をまたぐ抽象化です。C++のテンプレートやAdaのジェネリクスを思い浮かべてください。

Standard ML流のメンタリングを受ける

プログラミング言語にはそれぞれ、物事の進め方があります。Standard MLも 同じです。メンターが、Standard MLのエンジニアのように 考える方法と、Standard MLらしいコードの書き方を 教えてくれます。演習を解いたら、ボランティアチームに 提出してみましょう。ヒントやアイデア、フィードバックをもらい、 Standard MLでよく目にする書き方に近づけることができます。 自分が知らないことを知らない、ということに気づかせてくれるでしょう。

メンタリングについてもっと詳しく

コミュニティが作ったStandard MLの演習

ExercismのStandard MLトラックには、90つの演習があり、より良いコードを書くのに役立ちます。

Standard MLの演習をすべて見る
Standard ML

Standard MLトラックを始めましょう

何より、誰にとっても100%無料です。

Standard MLトラックに参加する