Idris + Atomによる型駆動開発入門 - たけぞう瀕死ブログ
4月から社内でType-Driven Development with Idrisの読書会をやっています。 takezoe.hatenablog.com 最近ようやくChapter 3まで進み、実際に自分でコードを書くエクササイズなども出てきました。この本ではAtomを使うことが推奨されているのですが、Atom用のIdrisパッケージが非常に強力で、型駆動開発の魅力を存分に感じることができます。そこで、今回は実際にAtomでのIdrisプログラミングがどのようなものかについて紹介したいと思います。 github.com たとえば以下のようなシグネチャを持つVect（要素数を型情報に持つリスト）用のマップ関数を実装するとします。Vect n aの各要素に(a -> b)という関数を適用してVect n bを返すというものです。 my_vect_map : (a -> b) -> Vect n
ズンドコキヨシを見かけた男子中学生がプログラミングを勉強していく話 第1話 - Qiita
はじまりと Hello World! 俺はその日Twitterを見ていて、運命を変えるツイートに出会った。 Javaの講義、試験が「自作関数を作り記述しなさい」って問題だったから 「ズン」「ドコ」のいずれかをランダムで出力し続けて「ズン」「ズン」「ズン」「ズン」「ドコ」の配列が出たら「キ・ヨ・シ！」って出力した後終了って関数作ったら満点で単位貰ってた — てくも (@kumiromilk) 2016年3月9日 なにこれ面白そう！俺もやってみたい！最近姉貴もプログラミングしてるらしいから、パソコン借りてやってみよう。おーい、姉貴ー！って、いないな、姉貴。まあいいや。後から言うことにしてパソコン借りよう。 まずプログラミング言語ってやつがあるらしいな。JavaScriptとかRubyとか。あ、これ姉貴のノートだ。Rubyって表紙に書いてある。じゃあこのノートを見ながらRubyでやってみるか。
私がどのようにしてAtomの奇妙なバグを修正したか : 正規表現が暴走を起こすとき | POSTD
Atom は、今注目の最新テキストエディタです。私は、このエディタをソフトウェア開発に使用しているのですが、オープンソースになっているので、少しでも貢献できればとAtomが抱えるIssuesについて検証してみることにしました。私は、 ある奇妙なバグ を見つけました。それは、Atomのユーザ speter がテキストを1行書き、行末で Enter を押した時に起こりました。新たな行が書けるようになるまで、Atomは30分も計算していたのです。私は、そんな単純かつよくあるオペレーションもろくにできないことに大きな衝撃を受け、早速その原因を探ることにしました。 検索 これが、問題のテキストです。 vVar.Type().Name() == "" && vVar.Kind() == reflect.Ptr && vVar.Type().Elem().Name() == "" && vVar.Typ
「Stack Overflow」がユーザー動向に関する調査結果を公開、最もよく利用している言語はJavaScript、習得したい言語はSwift、C++11、Rustなど
調査への回答を行ったユーザーの年齢のうち、もっとも多かったのは25～29歳（28.5％）で、20～24歳（24.5％）、30～34歳（17.8％）が続く。国別の平均年齢では、アメリカが31.6歳、イギリスが30.3歳、カナダが30.3歳などとなっており、男性が9割以上を占めている。 プロフェッショナルのプログラマとしての経験は、2～5年（32.4％）がもっとも多いが、11年以上（24.2％）、6～10年（23.2％）と経験豊かなユーザーが多いことがわかる。なお、男女の比較では、女性は2年以内、男性は2～5年がもっとも多いという結果であった。 プログラミング技術の習得方法に関する質問では、自分で学習したユーザー（41.8％）が最多で、コンピュータサイエンスの学士課程（37.7％）、業務におけるトレーニング（36.7％）がそれに続く。 本来の業務とは別のプロジェクトや、オープンソースプロジェク
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
