はてなブックマークアプリ

サクサク読めて、
アプリ限定の機能も多数!

アプリで開く

はてなブックマーク

  • はてなブックマークって?
  • アプリ・拡張の紹介
  • ユーザー登録
  • ログイン
  • Hatena

はてなブックマーク

トップへ戻る

  • 総合
    • 人気
    • 新着
    • IT
    • 最新ガジェット
    • 自然科学
    • 経済・金融
    • おもしろ
    • マンガ
    • ゲーム
    • はてなブログ(総合)
  • 一般
    • 人気
    • 新着
    • 社会ニュース
    • 地域
    • 国際
    • 天気
    • グルメ
    • 映画・音楽
    • スポーツ
    • はてな匿名ダイアリー
    • はてなブログ(一般)
  • 世の中
    • 人気
    • 新着
    • 新型コロナウイルス
    • 働き方
    • 生き方
    • 地域
    • 医療・ヘルス
    • 教育
    • はてな匿名ダイアリー
    • はてなブログ(世の中)
  • 政治と経済
    • 人気
    • 新着
    • 政治
    • 経済・金融
    • 企業
    • 仕事・就職
    • マーケット
    • 国際
    • はてなブログ(政治と経済)
  • 暮らし
    • 人気
    • 新着
    • カルチャー・ライフスタイル
    • ファッション
    • 運動・エクササイズ
    • 結婚・子育て
    • 住まい
    • グルメ
    • 相続
    • はてなブログ(暮らし)
    • 掃除・整理整頓
    • 雑貨
    • 買ってよかったもの
    • 旅行
    • アウトドア
    • 趣味
  • 学び
    • 人気
    • 新着
    • 人文科学
    • 社会科学
    • 自然科学
    • 語学
    • ビジネス・経営学
    • デザイン
    • 法律
    • 本・書評
    • 将棋・囲碁
    • はてなブログ(学び)
  • テクノロジー
    • 人気
    • 新着
    • IT
    • セキュリティ技術
    • はてなブログ(テクノロジー)
    • AI・機械学習
    • プログラミング
    • エンジニア
  • おもしろ
    • 人気
    • 新着
    • まとめ
    • ネタ
    • おもしろ
    • これはすごい
    • かわいい
    • 雑学
    • 癒やし
    • はてなブログ(おもしろ)
  • エンタメ
    • 人気
    • 新着
    • スポーツ
    • 映画
    • 音楽
    • アイドル
    • 芸能
    • お笑い
    • サッカー
    • 話題の動画
    • はてなブログ(エンタメ)
  • アニメとゲーム
    • 人気
    • 新着
    • マンガ
    • Webマンガ
    • ゲーム
    • 任天堂
    • PlayStation
    • アニメ
    • バーチャルYouTuber
    • オタクカルチャー
    • はてなブログ(アニメとゲーム)
    • はてなブログ(ゲーム)
  • おすすめ

    iPhone 17

『qiita.com』

  • 人気
  • 新着
  • すべて
  • 関数型プログラミング~Phantom type(幽霊型)ってなんだろう~ - Qiita

    4 users

    qiita.com/masaki_shoji

    Haskellのコードでしばしば見かける幽霊型について。 Phantom type(幽霊型)の特徴 左辺で定義した型変数が右辺に全く現れない型 具体的な値に興味はなく、型の情報さえあれば十分な時などに使われる 型の情報だけでやりたいことを実現するため、型レベルプログラミングの一種と捉えられる Pantaom type(幽霊型)の例 例として、次のようなものを考えます。 時刻の「分」と「時間」を区別できる型を作りたい ただし、「分」・「時間」を表す値の型は同一の型としたい 時刻に関する計算の処理も同一のものとしたい 時刻を保持する型を定義 まず、時刻を保持する型を定義します。 -- 型変数unitは右辺に現れないので幽霊型と呼ぶ newtype Time unit = Time Int deriving (Num, Show) ここで注目すべきは、型変数の'unit'が右辺で使用されていない

    • テクノロジー
    • 2022/08/08 21:31
    • 関数型
    • Haskell
    • プログラミング
    • 関数型プログラミングのFunctorって何が嬉しいの? - Qiita

      3 users

      qiita.com/masaki_shoji

      Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?

      • テクノロジー
      • 2020/01/27 09:29
      • haskell
      • プログラミング
      • Arrowを使ってAndroidで関数型プログラミング〜型コンストラクタ、高カインド型について〜 - Qiita

        3 users

        qiita.com/masaki_shoji

        関数型プログラミングの手助けをするKotlin製のライブラリであるArrowを使うためには、基本的な用語を知っている必要があります。 今回は主にArrowに記載の内容を元に、型コンストラクタと高カインド型の概要をまとめます。 Arrowにおける型コンストラクタについて 型コンストラクタとは少なくとも1つのジェネリックパラメータを持つクラス(インタフェース)である(例えば、 ListK<A>、Option<A>(※1)のAがジェネリックパラメータに相当) ListK<A>のAに対して、Int型を割り当てた場合、ListKはListK<Int>となる。このとき、ListKにはジェネリックパラメータではなく、Intと言う具体的な型が指定されているため、型コンストラクタとは見なされなくなり、通常の**「型」**と見なされるようになる。 複数のパラメータを持つ型コンストラクタ(例:Either<L,

        • テクノロジー
        • 2019/11/01 13:32
        • arrow

        このページはまだ
        ブックマークされていません

        このページを最初にブックマークしてみませんか?

        『qiita.com』の新着エントリーを見る

        キーボードショートカット一覧

        j次のブックマーク

        k前のブックマーク

        lあとで読む

        eコメント一覧を開く

        oページを開く

        はてなブックマーク

        • 総合
        • 一般
        • 世の中
        • 政治と経済
        • 暮らし
        • 学び
        • テクノロジー
        • エンタメ
        • アニメとゲーム
        • おもしろ
        • アプリ・拡張機能
        • 開発ブログ
        • ヘルプ
        • お問い合わせ
        • ガイドライン
        • 利用規約
        • プライバシーポリシー
        • 利用者情報の外部送信について
        • ガイドライン
        • 利用規約
        • プライバシーポリシー
        • 利用者情報の外部送信について

        公式Twitter

        • 公式アカウント
        • ホットエントリー

        はてなのサービス

        • はてなブログ
        • はてなブログPro
        • 人力検索はてな
        • はてなブログ タグ
        • はてなニュース
        • ソレドコ
        • App Storeからダウンロード
        • Google Playで手に入れよう
        Copyright © 2005-2025 Hatena. All Rights Reserved.
        設定を変更しましたx