Parse, don’t validate
Historically, I’ve struggled to find a concise, simple way to explain what it means to practice type-driven design. Too often, when someone asks me “How did you come up with this approach?” I find I can’t give them a satisfying answer. I know it didn’t just come to me in a vision—I have an iterative design process that doesn’t require plucking the “right” approach out of thin air—yet I haven’t bee
6社目: 株式会社HERP でカジュアル面談してきました #劇場型転職｜ぷりんたい｜note
6社目は採用管理プラットフォーム「HERP ATS」を提供する株式会社HERPさんに行ってきました。 オフィスは五反田駅から歩いて5分ほどの五反田S&Lビル内に複数フロアを構えています。今回は最上階フロアの会議室でお話させていただきました。 今回は CEO の庄田さん、リードエンジニアの亀岡さんと、エンジニアの宮﨑さんの豪華3名でご対応いただきました。HERP さんは創業2017年で現在3期目、メンバーも全体的にすごく若くて平均25.7歳だそうです。 株式会社HERP さんといえばこの1年で一気に浸透した「スクラム採用」というキーワードの提唱者でもあって、商標出願もされているみたいですね。他にも色々出願されているみたいです。 [商願2019-22031] 商標:[画像] (標準文字) / 出願人:株式会社HERP / 出願日:2019年2月6日 / 区分:35(一般事務の代行ほか),42(
Haskellの代数的構造入門 半群・モノイド・環とは何か？ - ログミーTech
2018年11月10日、Haskell-jpが主催するイベント「Haskell Day 2018」が開催されました。純粋関数型プログラミング言語Haskellをテーマに、Haskellに興味のある人から入門者、ちょっとできる人まで、様々な層に向けたプレゼンテーションを行った本イベント。実務から研究まで、幅広いHaskellの事例を共有します。プレゼンテーション「Semigroupとは？ Monoid？ 環？」に登壇したのは、aiya000氏。講演資料はこちら Semigroupとは？ Monoid？ 環？ aiya000氏（以下、aiya000）：あいやと申します。今日は「Semigroupとは？ Monoid？ 環？」というテーマで代数についての発表をします。よろしくお願いします。 （会場拍手） 推しVimはNeovimです。活動はTwitterやGitHubなどをやっています。このスラ
私と型システムとポエム
最近巷では俄に型システムについての言及が増え、型システムポエマーが増えてる気がするので自分もその時流に乗りたい。 完全にポエムだけどなんかあったら随時指摘ください。直します。 TL;DR 言いたいことはまとめると次 型システムは程度問題なのでちょうどいいところを探すべき 型は万能でも強さが正義でもない(だから未だに研究されてる) よく知りもしないくせに計算機科学を侮辱するのはやめろ 予防線 あくまでポエムですので中身はないです 私は型理論専攻で学位はとったものの研究者ではないのであまり信用しすぎないように 型システムの過去 型システムは大まかに次のような利点があるとされてきた(個人的主観) 「異常」なプログラムを検出する仕組み 静的解析による分かりやすいエラーメッセージ 型そのもののドキュメント性 IDEでのcompletionに貢献 最適化に貢献 (数学に正しく裏打ちされたsemanti
keysnailなき後の世界を生きる - Qiita
2017年11月のFirefox 57 "Quantum"のリリースによって、FirefoxをEmacs化するアドオンkeysnailが完全に動かなくなりました。今までも部分的に動かなくなったことはあったのですが、今度という今度は致命的だったようです。 ほとんどのkeysnail難民と同様、筆者もkeysnailなき後の世界を生き抜くための新たな環境構築を模索しました。最終的にそれなりに満足いくものになったのでその結果を共有します。 筆者のデスクトップ環境 Xubuntu Linux 16.04 (xenial) xorg 1:7.7+13ubuntu3 XFCE 4.12.2 Vivaldi + Surfingkeys keysnailがなくなった今となってはFirefoxに固執する理由はないため、keysnailのissueで情報提供のあったVivaldiとSurfingkeysアドオ
)
モナド (プログラミング) - Wikipedia
関数型プログラミングにおいて、モナドはプログラムを構造化するための汎用的な抽象概念である。対応したプログラム言語では、ボイラープレート的なコードでもモナドを使って除去することが可能となる。これはモナドが、特定の形をした計算を表すデータ型と、それに関する生成と合成の2つの手続きを提供することによって実現されている。生成は任意の基本型の値をモナドに包んでモナド値を生成する手続きであり、合成はモナド値を返す関数(モナド関数)たちを合成する手続きである。[1] 広い範囲の問題をモナドを使うことで単純化できる。例えば、Maybeモナドを使えば未定義値への対処が簡単になり、Listモナドを使えばリストに入った値を柔軟に扱うことができる。複雑に組み合わさった関数は、モナドを使えば、補助データの管理や制御構造や副作用を除去した簡単なパイプライン構造に置き換えることができる[1][2]。 モナドの概念や用語
Samuel Gélineau からの返信その1(翻訳) - Qiita
Sure, I am happy to help! もちろん、喜んで協力します！ Do you think Haskell is underrated as an industrial, professional programming language by IT project managers? Yes, definitely. There are a few aspects of Haskell which makes it look like a bad choice: はい、全く持ってその通りです。いくつかの点でHaskellは良くない選択のように思われています。 Only a small fraction of companies use Haskell. This has a few consequences: Haskell does not look like a sa
モナドを理解する - 迷える者への手引き
いずれにせよ、システムの状態が時間の関数であり、そのため時間は考慮しなければならない余分な要素となります。"xの値は何？"と問い合わせることは実際できません。代わりに、"時間tにおけるxの値は何？"と問い合わせなければなりません。これではコードを判断するのが難しくなり、複雑な要素が増えます。結論としては... 状態あり: ダメ! 状態なし: グッド! 式とアクション 式とは値を持った文です。たとえば以下のコードを考えてみましょう。 x = 5 y = x + 7 x = y + 1 最初のxは値が5であるという式です。最後のxは値が13であるという式です。コードは他の式も含んでいます。たとえば真ん中の行は、x + 7が12という値であるという式です。 ほとんどのコンピュータ言語では、キーボードから読み込むコマンドは式であり、その式は値を持っています。次の文を考えてみましょう。 x = ne
Wandboxを支える技術
Wandbox とは 普通の C++ 使いは日常的に仕様書を読んでいる その際、実際にコンパイラを動かして試したくなる場合がある 例: 「ISO/IEC 14882:2011 における 3.4.2/2 が結果がどうなるのかよく分からないな」 「現行の gcc/clang でどういう動作をするのか試してみたい」 普通の C++ 使いは日常的に paper を読んでいる その際、実際にコンパイラを動かして試したくなる場合がある 例: 「N3648 が gcc で実装されたのか」 「最新の gcc でどういう動作をするのか試したい」 普通の C++ 使いは日常的にコンパイラのバグを報告している その際、実際にコンパイラを動かして試したくなる場合がある 例: 「std::negative_binomial_distribution がコンパイルエラーになるバグって直ったんだっけ？」 「最新の gc
型クラスはインターフェースとどう違うのか | POSTD
(注：2017/02/27、いただいたフィードバックを元に翻訳を修正いたしました。) Haskellの型クラスは、Haskellを学び始めたばかりの多くの人にとっては難しい概念です。たいていの言語はこれを表すことが全くできませんし、それに近い概念も持っていません。多くのオブジェクト指向型の言語にとっては、利用可能なものの中では Interface が最も近い言語要素でしょう。Rubyの modules は似たような役割を持っています。しかし、この概念は両方とも、名前の多重定義と一種のポリモーフィズムをアドレスするので、型クラスが提供するパワーの一部を欠いています。 この記事は、型クラスに興味を持っている人向けです。Haskellや関数型プログラミングの予備知識は必要ありません。JavaやC言語のような静的な型付き言語に慣れていれば、役に立つでしょう。 型クラスについての概要/要約 型クラス
エラー処理を書いてはいけない
エラー処理を書いてはいけない田中英行 tanaka.hideyuki@gmail.com 2011/12/08 @PFIセミナー 自己紹介田中英行 (@tanakh, http://tanakh.jp) PFI社でプログラマやってますJubatuspficommon検索エンジンのコアエンジンHaskell愛好家msgpack / rpc / idlpeggy (パーザジェネレータ & QQ w/ AQ)Shu-thing (シューティングゲーム) / (Monadius メンテナ)今気になるパッケージは monad-controlLearn you a Haskell 鋭意翻訳中 （春頃発売予定） エラー処理を書いてはいけない本日の概要エラー処理を抽象化しようというお話です 現在のエラー処理の抱える問題どのように解決するのか実際の例エラーは処理しなければならない エラー処理を書いてはいけな
翻訳：Haskellと過ごした4年間〜ファウンダーの観点から〜 - Qiita
BetterというEラーニングの会社をやっていたCarl Baatzさん表題のような記事を書いていて、とても有益だと思ったので訳してみました。 だいたい逐語訳ですがところどころ意訳したり端折ったりしてます。プロの翻訳家ではないので間違いもあるかと思います。ご了承ください。不安なところは原文をご参照頂ければと。自信ないところは括弧に原文を残しているので、よい訳があれば編集リクエストお願いします。あと脚注も Thank you Carl for sharing great experince and knowledge! 原文: A founder's perspective on 4 years with Haskell http://baatz.io/posts/haskell-in-a-startup/ [追記] InfoQでもこの記事が取り上げられていました。 製品開発においてHask
Haskell、Scala、ML、Scheme：あなたが次に学ぶ関数型言語 | POSTD
(編注：2016/7/27、頂いたフィードバックを元に記事を修正いたしました。) 学生たちから、次に学ぶ言語はどれがいいのかとよく聞かれます。IT業界で働きたい人にお薦めするのは、現在盛んに使われている言語です。C++、Java、C#はもちろん、Python、Ruby、PHP、Perlなども挙げられるでしょう。 一方、向学のためという人や、学術研究や起業に関心がある人にとって、次の言語を選ぶ基準となるのは、就職に有利かではなく言語の表現力でしょう。学術研究や起業活動を行うには、プログラマとしての能力を何倍にも高める必要があります。そして、（おそらく）確立されたコードベースを扱った経験はないでしょうから、手元にあるタスクにとって最適な言語を自由に選ぶことができます。 この記事では、勉強に適したHaskell、Scala、ML、Schemeという4つの言語を、私の好きな特徴や参考資料のリストと
AffですべてのPromises/Generatorsを過去にする／そして何故我々は作用をモナドで抽象化すべきなのか - Qiita
PromiseやGeneratorのような機構を使ってもなお非同期処理は厄介だ、そしてもっとシンプルで便利な方法があるよ、という話です。前半の議論を元に、後半ではなぜプログラミング言語の作用をモナドで抽象すると便利なのかということの説明をしています。 関数型プログラミング言語は「副作用をなるべく減らすことで安全性を高めた言語」というように説明されることがありますが、すべての式が副作用を持たないという『純粋』関数型プログラミング言語が言語を参照透明にしてモナドを導入するのは決して「副作用はなるべく避けたほうが安全だから」という理由だけではないのです。長いですが、これでも結構削りました。 序盤戦・Promises/Generatorsの光と影 Promises/Generatorsで世界はちょっと平和になる かつてはJavaScriptの非同期処理はコールバック地獄に陥ったり様々なパターンが混
Haskell 超入門 - Qiita
Haskellで簡単なプログラムを書くのに最低限必要な基礎文法を取り上げます。練習では再帰に慣れることに重点を置きます。再帰によるリスト処理の例として各種ソート（挿入ソート、バブルソート、マージソート、クイックソート）を紹介します。ラムダやモナドなどの発展的な内容には触れませんのでご了承ください。 シリーズの記事です。 Haskell 超入門 ← この記事 Haskell 代数的データ型 超入門 Haskell アクション 超入門 Haskell ラムダ 超入門 Haskell アクションとラムダ 超入門 Haskell IOモナド 超入門 Haskell リストモナド 超入門 Haskell Maybeモナド 超入門 Haskell 状態系モナド 超入門 Haskell モナド変換子 超入門 Haskell 例外処理 超入門 Haskell 構文解析 超入門 【予定】Haskell 継続
話は変わるけど各プログラム言語の呼び名のまとめてみた - 着ぐるみ追い剥ぎペンギン
■JavaScript JavaScripter（ジャバスクリプター） JSer（ジェイサー） ■Flash Flasher（フラッシャー） ■PHP PHPer（ペチパー） ■Perl Perler（パーラー） Perl Monger（パール・モンガー） ■Python Pythonista（パイソニスタ） Pythonian（パイソニアン） Pythonist（パイソニスト） Pythoner（パイソナー） ■Ruby Rubyist（ルビイスト） ■JAVA JAVAer（ジャバー） ■Scala Scalalian（スカラリアン） ■LISP LISPer（リスパー） ■COBOL COBOLer（コボラー） ■Haskell Haskeller（ハスケラー）
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
関数プログラマから見たPythonと機械学習
GitHub - alexanderjarvis/maybe: Maybe is a type that wraps optional values
Wandbox
読んで良かった基礎知識の入門書 - Qiita
