タグ

関連タグで絞り込む (8)

タグの絞り込みを解除

studyに関するkirakkingのブックマーク (5)

  • Haskell/存在量化された型 - Wikibooks


    存在型 (Existential types もしくは短く existentials) は型の集合をひとつの型へと圧縮する方法である。 最初に注意してくことがある。 存在型は GHC の 型システム拡張 の一部である。これらは Haskell98 の一部ではなく、-XExistentialQuantification という追加のコマンドライン引数をつけるか、{-# LANGUAGE ExistentialQuantification #-} をソースコードの先頭に置くかして、コンパイルしなければならないだろう。 forall キーワード[編集] forall キーワードは明示的に型変数をスコープに持ってくるのに使われる。たとえば、これまで次のように書かれているのは何度も飽きるほど見てきただろう。 しかし、これらのaとbは何なのだろうか？まあ、これらは型変数だ、とあなたは答えるだろ
    kirakking
    kirakking 2017/01/28
    制約により存在量化ってこう？ Pはクラス制約; Qはデータ型; (1) exists x. P(x), (2) forall x. P(x) -> Q(x), (3) [forall x. P(x) -> Q(x)] => [exists x. P(x) ^ Q(x)], (Concludion) exists x. P(x) ^ Q(x)
    リンク

  • Introduction to Automata Theory, Languages, and Computation

    Introduction to Automata Theory, Languages, and Computation Free Course in Automata Theory I have prepared a course in automata theory (finite automata, context-free grammars, decidability, and intractability), and it begins April 23, 2012. You can learn more about the course at www.coursera.org/course/automata. Several other courses will start at the same time, including Alex Aiken on Compilers,

  • [Haskell-cafe] what is basic Haskell?

    kirakking
    kirakking 2014/07/25
    学習の参考に。
    リンク

  • Haskell - FP Complete

    FP Complete was founded on a simple vision: we can make the world a better place with better software. And better tools, languages, and processes lead to better software. We believe Haskell is one of the best languages available today for writing robust, performant, concurrent, and maintainable software. FP Complete and its engineering team have created, contributed to, and continue to maintain ma

    Haskell - FP Complete
    kirakking
    kirakking 2014/07/17
    今度内容を調べる。
    リンク

  • ファイルアップローダを作ろう - 鳩舎


    How to じゃなくて、何かの言語を学ぶ、もしくはあるパラダイムにチャレンジするとき、に僕がよく使うサンプルアプリケーションとして、ファイルアップローダというのがあり、それの仕様をまとめておこうと思い至っただけです。 ちょっと研修資料っぽい感じになっちゃったけど、まぁいいか。 アプリケーションの概要 非ログイン型のファイルアップローダです。ファイルの保持先は S3 や Disk 、 DBへの Blobなどいくつかの選択肢が提供されます。 HTTP のフォームからファイルがアップロードされ、リストで表示されるだけの簡単なアプリケーションです。 ファイルには有効期限があり、それを過ぎるとダウンロードできなくなる、かつリストにも表示されなくなります(保存先の実ファイルも削除されていることが望ましいです)。 また、ファイルにはプライベートモードがあります。プライベートモードのファイルはリスト
    ファイルアップローダを作ろう - 鳩舎
  • 1

お知らせ

もっと読む

公式Twitter

  • @HatenaBookmark

    リリース、障害情報などのサービスのお知らせ

  • @hatebu

    最新の人気エントリーの配信

はてなブックマーク

公式Twitter

はてなのサービス

  • App Storeからダウンロード
  • Google Playで手に入れよう
Copyright © 2005-2024 Hatena. All Rights Reserved.