Pick up the 9th-gen iPad with two years of AppleCare+ for only $298
2014年4月29日のブックマーク (16件)
-
nsyee 2014/04/29
-
Conduit Overview - School of Haskell | School of Haskell
Interactive code snippets not yet available for SoH 2.0, see our Status of of School of Haskell 2.0 blog post Updated locationNote that the most up to date version of this content is available at the conduit repo homepage. You should probably read it there. conduit is a solution to the streaming data problem, allowing for production, transformation, and consumption of streams of data in constant m
-
Conduitの使い方 - Qiita
使えると便利、Conduitの大雑把な使い方です。 目次 使い始める前に Sourceから全ての値をリストで取得する 複数のSourceの全ての値をリストで取得する 自作Sourceを作成する 出力可能な値の残っているSourceを再利用する Sinkに流れてきた値を全て出力する 自作Sinkを作成する Conduitで流れているデータを加工する 自作Conduitの作成 使い始める前に 使い始める前に、Hackage: conduitから適切な関数を選択する為の最低限の知識として次の事を覚えましょう。 何するものなの？ Conduitを構成するベースの型1つ 基本の3つの型 2つのオマケの型 何をするものなのか？ Conduitはストリームデータを処理する為のライブラリです。 ストリームデータ処理の流れを「データの取得」「データの加工」「最終処理」の3段階に分けて記述していきます。 使用
-
ピエール瀧 高1の夏に石野卓球の家で受けた衝撃を語る
ピエール瀧さんがTBSラジオ『たまむすび』金曜日に出演。玉袋筋太郎さんと、高校1年生の夏に初めて訪れた石野卓球さんの家で聞いたNew Order『Blue Monday』に衝撃を受けた話をしていました。 （玉袋筋太郎）高校1年の夏、卓球の家で聞いたNew Orderの『Blue Monday』に衝撃を受けたと。野球少年って、高校野球は？ （ピエール瀧）そう。だから高校に入って、野球部に入って。そうなると、いろんな中学からさ、いろんなやつが集まってくるじゃない。で、集まってくると、お前、どういうやつ？っていう話をしていくうちに、『瀧はどんな音楽が好きなの？』っていうから、当時YMOとかクラフトワークとか、そういうちょっとテクノ系の曲が好きだったのね。で、『そういうのが好きだったら、俺の友達にすげー詳しいのがいるから、今度そいつの家に遊びに行こう』ってピッチャーだったやつが誘ってくれて。 （小
-
-
ssreflectインストール方法まとめ(Windowsもあるよ!) - みずぴー日記
「春は証明をはじめる季節」と某氏*1がよくわからないことを言いだしたので、Modern Coqことssreflectの勉強会を開催しました。(スタートssreflect #1) 勉強会にはだいたい30人くらいの方が参加し*2、全員がssreflectを使った証明を実際に行いました。そのため、30個の様々な環境にssreflectがインストールされたわけなので、その結果をまとめておきます。 元データ https://docs.google.com/spreadsheets/d/1X_vRVO3eizebOyG4tjcChzUZofrE9AGWwMEqUCyKKHs/edit?pli=1#gid=0 Windowsの場合 自分でビルドするのは地獄の道らしいので、コンパイル済みのバイナリを使います。ssreflectはMicrosoft製なだけあって、Windowsが一番インストールが楽ですね:
-
-
ヤフーがブックオフの筆頭株主に、資本業務提携によりブックオフの取扱商品をヤフオクに出品 : 市況かぶ全力２階建
ホロライブのカバー、沙花叉クロヱさん配信活動終了(キャラクター消滅は回避)でクビ卒業合わせて今年5人目のお別れ表明
-
PureScript Community Blog - Semigroup Motivation
Posted on April 28, 2014 by Hardy Jones A gist with the following code can be found here Motivation So, great, you’ve got this structure with an associative operator <>. What’s the point? Most of the explanations of Semigroups use a numeric analogue. This is fine and provides great intuition. But there are some other Semigroups readily available that are also fairly intuitive. There are a few thin
-
MySQLの実装にBoost.Geometryが使われはじめた - Faith and Brave - C++で遊ぼう
Why Boost.Geometry in MySQL? MySQL 5.7のリリースから、そのビルドがBoostに依存するようになります。MySQLの幾何演算を、Boost.Geometryライブラリのコードに置き換えることになったからです。 近年、ロケーションベースのサービスが途方もない成長を続けており、MySQLがそのストレージとして重要視されるようになってきました。 MySQL 5.6時点でも、これまでGIS関係の機能は持っていましたが、その幾何アルゴリズムは多くのコーナーケース(Corner Case：めったに発生しない厄介なケース)を扱えませんでした。それを一つひとつ修正するか、既存のアルゴリズムを置き換えるか、どちらを選ぶかという選択肢で、MySQLはBoost.Geometryで既存アルゴリズムを置き換えることを選択したようです。 MySQLコミュニティはBoost.Geo
-
Disemboweling WAI (aka gutting out conduit)
Yesod is a Haskell web framework for productive development of type-safe, RESTful, high performance web applications. April 28, 2014By Michael SnoymanView source on Github The Haskell Web Application Interface- or WAI- serves as a low-level interface between web applications and servers. In order to do this in a resource-efficient manner, it avoids lazy I/O and instead uses explicit streaming. The
-
-
-
-
型安全なリストを作るのです(｀・ω・´) ～ その2、GADTsと依存型＞ω＜
前回のあらすじですー＞ω＜ Phantom Typeを駆使して空リストに適用しようとすると、コンパイル時にエラーを吐く型安全なリストを定義したのです(｀・ω・´) しかし、tailはよく分からないエラーに阻まれて定義することができなかったのです……＞＜; 今回は型安全なtailはどうやったら実現可能か考えてみたいと思いますです＞ω＜ 前回のエラーをもう一度確認してみますです。 前回のソースコードとエラーを再掲しておきますです(｀・ω・´) SafeList_by_PhantomType.hs{-# LANGUAGE ExistentialQuantification #-} module Main where import Prelude hiding (head, tail) data Empty data NonEmpty data SafeList x a = forall y. C
-
型安全なリストを作るのです(｀・ω・´) ～ その1、Phantom Type（幽霊型）入門ですー＞ω＜
2月 20 2014 型安全なリストを作るのです(｀・ω・´) ～ その1、Phantom Type（幽霊型）入門ですー＞ω＜ Phantom Typeってなんです(・ω・? Phantom Type…、幽霊型… みなさん、ご存知でしょうか(・ω・? わたしは昔に何度かTwitterで見かけたので、名前だけは知っていました(｀・ω・´) かっこいい名前だな―って感じです＞ω＜ ファントム・タイプ！！！ で、ちょっと面白そうな香りがしたので調べてみましたのです＞ω＜ Phantom Typeさん、名前は仰々しいですが、その実態は非常に単純なものでした＞ω＜ Phantom Typeとはつまり、こういうことです＞ω＜ え(・ω・? どういこと(・ω・? これだけでは分かりにくいかもしれませんです(´・ω・｀) ですがよく見てください。PhantomType型は二つの型変数を取りますが、右辺のデ
-
- 2014年4月30日
- 2014年4月29日
- 2014年4月28日
公式Twitter
- @HatenaBookmark
リリース、障害情報などのサービスのお知らせ
- @hatebu
最新の人気エントリーの配信
キーボードショートカット一覧
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Copyright © 2005-2024 Hatena. All Rights Reserved.
設定を変更しました