タグ

2017年5月22日のブックマーク (6件)

  • ヒビルテ(2009-12-18)

    λ. 関数型プログラマにとっての副作用 「Haskell に副作用なんて、あるわけないじゃん。大げさだなぁ」(死亡フラグ)と思っていたけれど、HAMA#3の話をみて自分の考え方を整理できた気がするので、ちょっと書いてみる。 入出力は副作用? 命令型プログラマに説明するときの便法としては、kazuさんの説明は確かに効率が良いとは思うものの、自分がこの説明をするのには結構抵抗がある。 どこに抵抗があるのかというと、その背後にある「入出力するなら副作用がある、Haskellは入出力する、だからHaskellには副作用がある。」というような考え方。 この考え方では、言語がどのようなものであろうと、最終的に実行時に計算機上の現象として入出力が発生すれば、副作用が存在するということになってしまう。 しかし、関数型プログラマにとって、副作用とはあくまでも言語や式の性質であって、実行時に計算機上で発生する

    ヒビルテ(2009-12-18)
    rydot
    rydot 2017/05/22
  • 形式手法とalloyの紹介

    2016/12/1 bitFlyer TechNight C# Meetup での発表。 C# における文字列 (string) の高速な取り回しなどについて。 https://bitflyer.connpass.com/event/45476/

    形式手法とalloyの紹介
    rydot
    rydot 2017/05/22
  • ベイエリアで働くエンジニアがやりやすいと感じる会社の特徴5つ - Qiita

    私は昨年7月からサンフランシスコにあるAsanaという会社でエンジニアをしています。アメリカの大学でComputer Scienceを専攻し、昨年卒業しました。 エンジニアを指導する立場の人こそ読んでほしい、新卒エンジニアが1年間で上司に感じた5つのことの著者と私は新卒エンジニアで1年経ったところという境遇が似ている一方で、私は上述の記事に書かれているような不満を一度たりとも感じたことがありません。 この記事では、H_Craneさんの5つの上司に対する不満点と対比して、私がこの1年間で感じたAsanaの良い点を5つ列挙することで、どういった環境下だと新卒エンジニアはやりやすいと感じるのかの一例をご紹介します。 1、「当にそれググった?」って聞き返さないで欲しい 1、部下がイラッとしない指導の仕方を上司が心得ている 私の憶測ですが、「当にそれググった?」と聞かれてイラッとしてしまう原因は

    ベイエリアで働くエンジニアがやりやすいと感じる会社の特徴5つ - Qiita
    rydot
    rydot 2017/05/22
  • コマンド入力一撃で端末を大量に分割してタスクを瞬殺するtmux-xpanes - Qiita

    この記事の要点 コマンド一撃でtmuxのウィンドウを大量に分割してコマンドの同時実行を助けるxpanes(イクスペインズ)というコマンドを作りました。一斉に複数のホストにpingを送ったり、sshでログインして同時操作したり、一斉に複数のファイルをtail -fしたりするのに使えます。 操作ログの保存機能、標準入力を受け取ってコマンドを作成する機能などなど、機能も充実していて便利です。tmuxを知らない方でも単純な例だけであれば覚えることは少ないので、ぜひお試しを。 下記のアニメを見ていただければ、どんな感じのものを作成したのかお分かりいただけると思います。 Github: https://github.com/greymd/tmux-xpanes 背景 tmuxを使っている方は、どのような用途でtmuxを役立てることが多いでしょうか?開発の効率を上げるため1、あるいは複数のウィンドウ2や

    コマンド入力一撃で端末を大量に分割してタスクを瞬殺するtmux-xpanes - Qiita
    rydot
    rydot 2017/05/22
  • エンジニアを指導する立場の人こそ読んでほしい、新卒エンジニアが1年間で上司に感じた5つのこと - Qiita

    (追記 2017/5/10) だいぶ放置していた形になってしまい申し訳御座いません。 僕自身ここまでの反響が(炎上が?笑)起こったことに驚いております。 賛同してくださった方・批判してくださった方、どちらも最後まで記事を読んでいただき、コメントまでしていただいたことに感謝でいっぱいです! 自身の考え方としても勉強になりますし、何よりみなさんがこれだけ真剣になっていることが僕自身はとても嬉しい限りです。当にありがとうございます。 前書き エンジニアとして1年経ち、振り返ってみると、業務中にわからないことがあるたびに調べ、 Qiita (記事投稿者の皆様方) には大変お世話になりました。ありがとうございます。(今頃になって自分は登録しましたが笑) 社会人1年目って人生1回きりしかありません。自分も2年目となり指導する側になる身として、 1年目で抱いていた心をいつまでも忘れないために、これを残

    エンジニアを指導する立場の人こそ読んでほしい、新卒エンジニアが1年間で上司に感じた5つのこと - Qiita
  • Home – Google Tech Dev Guide

    Grow Your Technical Skills with Google Whether you're new to computer science or an experienced coder, there’s something for you here in Google’s Tech Dev Guide. We’ve carefully curated materials from various sources, including some made by Google, that you can use to grow your technical skills, supplement your coursework, and prepare for interviews. Interested in pursuing a career in business? Ch

    Home – Google Tech Dev Guide
    rydot
    rydot 2017/05/22