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

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

Last May, IOHK signed an MoU with the Ethiopian government to train and hire developers. We are excited to share that the graduation of this IOHK Haskell course was today! The graduates were joined by Dr. Ing.Getahun Mekuria, Minister of Innovation&Technology and the IOHK team! pic.twitter.com/pPJRXIusuU

— Cardano Community (@Cardano) March 22, 2019

Really great moments graduating the class. It was emotional and one of the greatest honors of my career. I'm excited for the future pic.twitter.com/wMQvHYpQqX

— Charles Hoskinson (@IOHK_Charles) March 22, 2019

Wonderful final lecture given by Professor Wadler to close the class. All the girls graduated! Ceremony is tonight. Can't wait to see Plutus apps come out of this pic.twitter.com/pGTEzuDwAx

— Charles Hoskinson (@IOHK_Charles) March 22, 2019

Great quote from tonight's IOHK graduation ceremony in Ethiopia from @IOHK_Charles: "Thank you for all you've done. You're all going to be great entrepreneurs and leaders. We could wake up one day and Ethiopia becomes the tech leader." pic.twitter.com/WsRu3mPoGv

— Cardano Community (@Cardano) March 22, 2019

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

'The ideas & solutions you develop here in Ethiopia will solve problems across the world' - @IOHK_Charles. It was great to spend time with the @InputOutputHK team this week & meet the amazing women developers who graduated from the #Haskell course last night. pic.twitter.com/vXm5bkkIzB

— Anna Chojnicka (@Anna_Choj) March 23, 2019

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

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

EMURGO Academyを設立！インド市場への参入を正式に発表！

2019.2.21

株式会社EMURGO(エマーゴ)はインドでEMURGO Academy(EMURGO Learning Solutions Private Limited)の設立と、インド市場への参入を正式に発表！インド政府関係者および企業からの支援あり！...

EMURGOブログ更新！アフリカにおけるカルダノの戦略とは？和訳文

2019.3.13

株式会社EMURGO(エマーゴ)がブログ更新！を公開した。アフリカにおけるカルダノの戦略、アフリカのデジタルフォーカス、サプライチェーンのためのブロックチェーンの利点など和訳してまとめております。 英文が読める方は公式ブログをご覧ください。...

アフリカ大陸進出!カルダノプロジェクト エチオピア政府との契約

2018.5.3

【ADA 最新情報】 カルダノプロジェクト エチオピア政府との契約 アフリカ大陸に広がる技術に期待。...

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

Haskell(ハスケル)とは？

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

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

全体を読む　コチラ

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

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

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は優秀な人材を確保するためのフィルターとしても機能します。

なぜHaskellなのか

全体を読む　コチラ