nfunatoのブックマーク / 2013年9月15日

nfunato id:nfunato

2013年9月15日のブックマーク (8件)

MonadIOクラスのこと - 取り急ぎブログです
昨日のモナドトランスフォーマーの勉強中に使ったliftIOですが、勘違いをしていたことにやっと気がつきました。liftIOの型情報は liftIO :: IO a -> m a と、この関数だけ見るとIOアクションをほかのどんな形のモナドにでも挿げ替えてくれるハッキーな関数のようにしか見えなかったのですが、もうちょっと周りを見ると、実は、このliftIOはMonadIOというクラスのメソッドなんですね。そして、このクラスのインスタンス宣言のほうにも大切な情報が隠れていました。 class Monad m => MonadIO m where liftIO :: IO a -> m a Instances MonadIO IO MonadIO m => MonadIO (ListT m) MonadIO m => MonadIO (ContT r m) (Error e, MonadIO m
nfunato 2013/09/15
haskell

monad
リンク
モナドと実行順序のこと、結末 - 取り急ぎブログです
kazu-yamamotoさんの　http://d.hatena.ne.jp/kazu-yamamoto/20080212/1202793403　に導かれてnobsunさんの http://haskell.g.hatena.ne.jp/nobsun/20060907/monadicIO http://haskell.g.hatena.ne.jp/nobsun/20060908 の２つの記事をざっと読みました。nobsunさんの丁寧な説明がすごいですね。IOモナドはすべてWorldをパラメータにとる「アクション」だというところ、なるほどそうだったんだと思いました。色々と読んみてわかったのは、Stateモナドのように、IOも関数をパッケージ化しているモナドだと考えることができるということで： IO a = World -> MakeIO a World という風に見ることができる。だとすると
nfunato 2013/09/15
haskell

monad
リンク
ESUG
nfunato 2013/09/15
smalltalk
リンク
iPhone5s・5c発表後ソフトバンクが静だったワケは？宮川CTO「au恐るるに足らず」 - 週刊アスキー
iPhone5sと5cは、新たに多数のLTEバンドに対応した。とくに800MHz帯に対応したことから、同周波数帯を使うNTTドコモ・KDDIに有利と言われることが増えており、とくにKDDIは、自社の利点としてアピールしている（関連記事）。それに対してソフトバンクが異議を唱えた。彼らの主張する“iPhone 5s/5c向けネットワーク”とはどのようなものになっているのか？そして“他社に負けない”とする根拠はどこにあるのか？ ↑ソフトバンクモバイル取締役専務執行役員CTOの宮川潤一氏とagoop代表取締役社長柴山和久氏（聞き手はジャーナリストの西田宗千佳氏）。 ――auは「800MHz帯があるため（ソフトバンクより）有利」と主張しています。今日、こうして宮川さんが話すということは、それに異論があるということですよね？宮川　まさにそのお話でして。今回のネットワークには自信があったんですよ。で
nfunato 2013/09/15
リンク
電力の複素電流表示 [物理のかぎしっぽ]
とします．は実数です．そして，は複素数です．それぞれの式の最後の変形は極座標をとったことになります．ここで，電力を求めます．ただし，は実数部を表します．
nfunato 2013/09/15
リンク
優秀なエンジニア5人は二流の1000人を完全に凌駕する：Rails Hub情報局：エンジニアライフ
1990年代後半のインターネットブームの火付け役といってもいいWebブラウザ「Netscape」の創業者で、現在シリコンバレーで投資家として活躍するMarc Andreessen氏が、あるインタビュー中で「優秀な5人のプログラマは、二流のプログラマ1000人を完全に凌駕する」（Five great programmers can completely outperform 1,000 mediocre programmers.）と発言したことで、ちょっとした話題となっているようです。インタビューはライターのBill Taylor氏（個人サイト）が、自著「Marvericks at Work – Why the Most Original Minds in Business Win」（アマゾンUSへのリンク）のためにインタビューした際の答えとして、Harvard Business Revie
nfunato 2013/09/15
リンク
Deploying at GitHub
AI & MLLearn about artificial intelligence and machine learning across the GitHub ecosystem and the wider industry. Generative AILearn how to build with generative AI. GitHub CopilotChange how you work with GitHub Copilot. LLMsEverything developers need to know about LLMs. Machine learningMachine learning tips, tricks, and best practices. How AI code generation worksExplore the capabilities and be
nfunato 2013/09/15
リンク
色設定や「20のルール」：PC画面から目を守る方法
nfunato 2013/09/15
リンク
- 2013年9月16日
- 2013年9月15日
- 2013年9月14日