IOHK Haskellコース卒業式!エチオピア政府と協力し開発者を養成
スポンサーリンク

Haskell(ハスケル)コースから多くの女性開発者が誕生!?

2019年3月22日、
エチオピアでIOHK Haskellコースの卒業式があった。

昨年5月、IOHK はエチオピア政府と協力して開発者を養成し、雇用するための覚書を締結しました。私たちは、この IOHK Haskell コースの卒業が今日だったことを共有することを楽しみにしています!

クラスを卒業する本当に素晴らしい瞬間。それは感情的で、私のキャリアの最大の栄誉の一つでした。私は将来のために興奮している。

当時教授が授業を終了するために与えた素晴らしい最終講義。

「ありがとうございました。あなたのすべては偉大な起業家やリーダーになるだろう。いつか目を覚ますことができ、エチオピアはハイテクリーダーになりました。」
スポンサーリンク

女性開発者の養成と雇用創出

エチオピアで開発したアイデア&ソリューションは、世界中の問題を解決します。

今回、コースを卒業した多くの女性開発者たちの
今後の活躍が期待される。

IOHK、EMURGOの取り組みに
「教育」が1つのテーマであり、
2019年に入り露出が増えてきている。

エチオピア政府との取り組みも意味があり、
世界中での問題点を解決するユースケースを
生み出す可能性が高い。
カルダノ(ADA)の価値は、
関わる人たちにより上昇していく。

今回、卒業された方、
「ご卒業おめでとうございます。」

Haskell(ハスケル)とは?

改めてカルダノ(ADA)ホルダーの皆さんも
おさらいしましょう。

なぜカルダノを構築するのか

全体を読む コチラ

カルダノでは、OcamlとHaskellどちらかを選ぶことにしました。Ocamlは、素晴らしいコミュニティ、優れたツール、十分な開発経験、そしてCoqによる正式な検証に関する素晴らしい資産を持つ言語です。では我々はなぜ Haskell を選んだのでしょうか。

Haskell(ハスケル)は非正格な評価を特徴とする純粋関数型プログラミング言語である。

なぜHaskellなのか

カルダノを構成するプロトコルは暗号学によって配布、バンドルされるため高度なフォールトトレランスを必要とします。最も好調な日でも、ビザンチンアクターが出現したり、不正な形式のメッセージが発信されたり、誤ったクライアントが意図せずにネットワーク上に何らかの騒ぎを起こしたりするかもしれません。

まず、Quickcheckなどや、Refinement Typesのような、より洗練された技術を容易に使用できる強力な型システムを採用でき、フォールトトレランスにある程度期待ができる言語を使いたいと考えました。HaskellとOcaml等が前者を満足させるのに対し、ErlangスタイルのOTPモデルは後者を満たします。

Cloud Haskellを導入したことで、Haskell独自の機能を維持しつつ、Erlangの利点の多くを獲得することができました。さらに、Haskellのモジュール性と合成性により、Time Warpというカルダノ専用の軽量ライブラリを使用することができました。

次に、Haskellのライブラリは、Galois、FP Complete、Well-Typedなどの商業用エンティティの広範な開発によって、ここ数年で大幅な進化を遂げました。結果として、Haskellを使用して本番レベルのアプリケーションを書くことができるようになりました。

さらに、PureScriptの急速な進化は、ClojurecriptがClojureに与えたように、HaskellとJavaScriptの間の必要不可欠な架け橋となっています。カルダノのブラウザ上での動作、またモバイルウォレットの開発には、PureScriptが特に重要になると考えています。

加えて、依存関係の解消に関して言えば、Haskellは、過去数年間、FP Completeから強力な援助を受けて作り出され、容易に利用できるStackageを通して、Michael Snoymanのような技術者が達成した重要な社会的、技術的成果から恩恵を受けています。

また、適切に依存性を解決した上で、我々はソフトウェアのビルドを再現可能にすることを目指しています。つまり、同じ構成値と依存バージョンであれば、まったく同じ成果物が作成されるということです。Stackageを通して、我々はNixOpsを利用し、その再現性を獲得することができました。

最後に、Haskellに特化した才能ある開発者の人口は、他の言語と比較してもかなり大きく、彼らは学術的にも、業界的にも十分に訓練されています。また熟練のHaskell開発者の中にコンピューターサイエンスに関する豊富な知識を持っていない者はほとんどいないため、Haskellは優秀な人材を確保するためのフィルターとしても機能します。

全体を読む コチラ

スポンサーリンク
チャンネル登録

ADAコインを簡単に手に入れる方法
クロスエクスチェンジ毎日配当
クロスエクスチェンジ毎日配当5
カルダノ(ADA)を拡散中!

皆様で、リツイートして
カルダノ(ADA)を広めていきましょう。

Twitterでフォローしよう

おすすめの記事