サービス

技能：エンジニア

技能：デザイナー

技能：ビジネス職

技能：バックオフィス

ジャンル

<h2>はじめに</h2>

<p>はじめまして、DMM.comラボの<a href="https://github.com/y2k2mt" target="_blank">y2k2mt</a>と申します。今回は、当チームが開発を行う時にメインの言語として使用しているプログラミング言語「<a href="https://crystal-lang.org/" target="_blank">Crystal</a>」 を紹介したいと思います。</p>

<p style="text-align:center"><img alt="" height="105" src="https://image.dmm-corp.com/u36cqsakb3v7jdnm83wle65o6rvd" width="600" /></p>

<h2>Crystalを選んだ理由</h2>

<p>当チームはRubyの経験があるエンジニアが多く、もちろん、作成するアプリケーションには高いパフォーマンスを求められていたため、Crystalは非常にマッチした言語でした。言語のシンタックスはRubyに大きな影響を受け、Rubyの経験があれば違和感なくコードを書いたり読んだりすることができます。また、Cによるバインディングやイベントループベースのノンブロッキング I/O、FiberとChannelsによる並行処理など、言語自体のパフォーマンスの高さもさることながら、その性質を活かすための仕組みも揃っています。さらに、Crystalは静的型付け言語であり、型推論も行うことができます。また、コンパイラによって検証を行うことも可能で、より堅牢性の高いコードを書くことができます。Crystalは ブエノスアイレス(アルゼンチン)在住のAry Borenszweig氏によって開発され、同地のソフトウェア企業<a href="https://manas.tech/" target="_blank">Manas Technology Solutions</a>のフルタイムエンジニアによって主にメンテナンスや拡張が続けられています。</p>

<h2>Rubyのように書きやすいCrystal</h2>

<p>CrystalはRubyと非常にシンタックスが似ており、Rubyのコードをコピーアンドペーストしてもほとんどのものが動作します。例えば、<code>class</code>&nbsp;<code>def</code>&nbsp;<code>module</code>&nbsp;<code>include</code>などのRubyのシンタックスはCrystal でそのまま使えますし、Emurableのメソッドでは、Rubyの<code>inject</code>&nbsp;がCrystal では<code>reduce</code>に代わるなど同じ挙動で名称が変わるものもありますが、<code>each</code>&nbsp;<code>map</code>&nbsp;<code>flat_map</code>&nbsp;のほか、<code>p</code>&nbsp;や&nbsp;<code>puts</code>&nbsp;もそのまま使えます。</p>

<p>例として、RubyとCrystalの両方で最小のWebサーバを記述してみます。 Rubyでは<a href="http://sinatrarb.com/" target="_blank">Sinatra</a>を使用した例を示します。</p>

<pre>
<code class="language-ruby">require 'sinatra'

get '/' do
  'Hello world!'
end</code></pre>

<p>Crystalでは<a href="http://kemalcr.com/" target="_blank">Kemal</a>を使用した例を示します。</p>

<pre>
<code class="language-ruby">require "kemal"

get "/" do
  "Hello World!"
end

Kemal.run</code></pre>

<p>非常に似ている、というよりもほとんど同じコードで同じ動作をすることがお分かりいただけるかと思います。 繰り返しになりますが、CrystalはRubyのシンタックスから多くの影響を受けていて、非常に記述性の高い言語となっています。</p>

<h2>Cのように早いCrystal</h2>

<p>CrystalはLLVM上で動作するコンパイル言語であり、CやC++,Rustに匹敵する高いパフォーマンスを出すことができます。 いくつかのベンチマークでも、非常に良い結果を出しています。</p>

<p><a href="https://github.com/tbrand/which_is_the_fastest" target="_blank">https://github.com/tbrand/which_is_the_fastest</a></p>

<p><a href="https://github.com/drujensen/fib" target="_blank">https://github.com/drujensen/fib</a></p>

<p>この高いパフォーマンスを活かすための仕組みとして、簡易に記述できる&nbsp;<code>Fiber</code>&nbsp;と呼ばれる並行処理のための機能が備わっています(CrystalにはThreadのような並列処理のための仕組みはありません)。また、並行処理中のデータの受け渡しを可能とする&nbsp;<code>Channels</code>&nbsp;という機能があります。これらの機能を使うことによって、コールバックやプロミスなどの煩雑になりがちな仕組みやAPIを使用することなく、効率的にイベント処理や非同期IO処理などを記述することができます。さらに、Fiberはスレッドの切り替えではないので、コンテキストスイッチのコストもかかりません。 Fiberを使用する並行処理の簡単な例を示します。Fiberは&nbsp;<code>spawn</code>&nbsp;というキーワードを用いて並行処理を行いたい処理部分を囲うことで使用できます。また、&nbsp;<code>Fiber.yield</code>&nbsp;はスケジューラにFiberを実行することを指示して完了を待ちます。下記の例では、メインのFiberを含めて3つのFiberを起動しています。</p>

<pre>
<code class="language-ruby">channel = Channel(Int32).new

spawn do
  channel.send(1)
end

spawn do
  puts channel.receive
end

puts "Before"
Fiber.yield
puts "After"</code></pre>

<p>この例を実行すると、下記の様な出力が得られます。</p>

<pre>
<code>Before
1
After</code></pre>

<p>3つのFiberが同時に起動され、1つ目のFiberはメッセージをChannelに送り、2つ目のFiberがChannelからのメッセージを待ち受けます(つまり、1つ目のFiberがメッセージを送信完了するまで待ち続けます)。そして、3つめのメインのFiberが他のFiberの完了を待ちます。 このように、簡単なコードによって手軽に並行処理を記述することができます。</p>

<h2>静的型付け言語であるCrystal</h2>

<p>初めに書いたとおり、Crystalは静的な型付け言語であり、型推論などの機能も備えています。型の指定を省略することも可能であり、その場合はコードから推定されるすべての型を抽出して列挙します。例えば、以下のようなメソッドの宣言をした場合、戻り値の型は&nbsp;<code>(Int32 | String)</code>&nbsp;として定義されます。</p>

<pre>
<code class="language-ruby">def one(a : String) 
   if a == "one"
       1
   else
       "1"
   end
end</code></pre>

<p>もちろん、特定の型を指定することも可能です。</p>

<pre>
<code class="language-ruby">def one(a : String) : String
...</code></pre>

<p>上記のメソッドの例に戻り値の型を指定しましたが、この場合は&nbsp;<code>type must be String, not (Int32 | String)</code>&nbsp;となりコンパイルエラーとなります。コンパイラで事前にコードを検証できるということは、曖昧なプログラムの多くをコンパイラで実行前に抽出でき、型に関連するバグの発生を未然に防ぎ、大量のテストコードなどで型に関する検証を自らしなくても済むことを意味します。 また、コンパイルを行うことで実行ファイルを効率化し、実行時間やメモリ使用量などを最小化するよう出力を調整することが可能となります。これは、RubyやPHPなどの動的型付け言語では非常に難しいことです。つまり、コンパイラでコードを検証できるということは、生産性やメンテナンス性、さらにパフォーマンスに大きく寄与するのです。</p>

<h2>まとめ</h2>

<p>個人的には、Crystalは記述性の高さとパフォーマンスのトレードオフを最も良いバランスで取ることができている言語の一つであると考えています。まだまだドキュメントが少なく、一時期に比べ大きく取り上げられることも少なくなったものの、言語自体の魅力は変わりなく、現在も着々と改善が続けられています。 ライブラリ管理ツール&nbsp;<a href="https://github.com/crystal-lang/shards" target="_blank">shards</a>&nbsp;を中心として、Webフレームワーク、各種ドライバなど<a href="https://github.com/veelenga/awesome-crystal" target="_blank">様々なライブラリが開発されており</a>、本番向けのアプリケーションを作成する十分な環境も揃っています。快適なシステム開発言語を探している方へ、当記事がCrystalの採用の一助になれば幸いです。</p>

<p>(当記事で使用しているCrystalのロゴは<a href="https://crystal-lang.org/media/" target="_blank">ガイドライン</a>に従って使用しています。)</p>

<h3>採用情報</h3>

<p>現在、DMM.comでは、エンジニアメンバーを募集しております！　興味のある方はぜひ下記募集ページをご確認下さい！</p>

<p><a href="https://dmm-corp.com/recruit/engineer/">https://dmm-corp.com/recruit/engineer/</a></p>

<p>&nbsp;</p>


Ruby のように書きやすく C のように速いプログラミング言語「Crystal」

シェア

関連する求人

関連する記事