You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
タグ
- すべて
- .net (7)
- 2013 (1)
- 2014 (2)
- 2048 (11)
- 3d (2)
- 3d-printer (1)
- 404 (3)
- 8086 (1)
- ATS (2)
- Algorithms (26)
- AngularJS2 (1)
- ApplicativeFunctor (1)
- Bar (1)
- CURATOR (1)
- Chart (1)
- Coeur-de-pirate (1)
- DIY (1)
- DeepLearning (1)
- EMML (1)
- EMOML (1)
- ElasticSearch (2)
- EmotionML (1)
- FStart (1)
- Factor (1)
- FizzBuzz (1)
- FreeBSD (1)
- Google Spreadsheets (1)
- HoloLens (1)
- IPA (1)
- LinearAlgebra (1)
- Literature (1)
- Logo (1)
- MQ (1)
- Maître-Gims (3)
- Mesparrow (1)
- Profiler (1)
- RabbitMQ (1)
- Rank-NTypes (2)
- Spreadsheets (1)
- TOOL (1)
- TypeScript (5)
- Virus (1)
- VisualStudio (2)
- WebGL (2)
- a-b-test (1)
- a-video (1)
- aar (1)
- adnroid (1)
- adt (1)
- aes (1)
- agda (3)
- agile (3)
- ai (8)
- airmail (1)
- ajax (1)
- ajhc (1)
- akka (6)
- alcohol (3)
- algbraice-graph-theory (1)
- algebra (9)
- algebraic-geometry (1)
- algorithm (1)
- algoritm (1)
- alloy (2)
- alstjs (1)
- altjs (19)
- amazing (1)
- amino (1)
- amir (1)
- analysis (1)
- android (10)
- android-amazing-app (1)
- android-app (1)
- android-devs (2)
- angularjs (5)
- animation (3)
- anki (3)
- apache-spark (1)
- api (13)
- api-design (1)
- app (2)
- app_iphone (1)
- apple (1)
- apps (2)
- arc (2)
- architecture (5)
- archive-file (1)
- arduino (1)
- arel (1)
- arm (1)
- array (2)
- array-like (1)
- artificial-brain (1)
- artificial-intelligence (4)
- assembler (2)
- assembly (3)
- ast (1)
- async (11)
- atletico (1)
- atom (5)
- atscript (1)
- atslang (3)
- audio (1)
- auth-proxy (1)
- author-inteview (5)
- awk (1)
- aws (3)
- azure (2)
- bash (7)
- bayes (2)
- bays (1)
- bazqux (1)
- bdd (2)
- beaf (1)
- beat-alanine (1)
- beef (1)
- belath-kit (1)
- benchmark (2)
- big-data (3)
- bigdata (4)
- bigquery (1)
- binary (1)
- bing (1)
- bio (1)
- bio-authnetication (1)
- bit (1)
- bitcoin (2)
- biztalk (1)
- blog (1)
- blues (2)
- body-maintanance (2)
- book (18)
- booklist (3)
- bookshelf (8)
- bootstrap (3)
- c# (32)
- c++ (21)
- c++14 (2)
- cabal (5)
- canvas (4)
- category-theory (19)
- cateory-theory (2)
- chelsea (5)
- cl (5)
- clang (3)
- clojure (53)
- clojurescript (10)
- clos (2)
- cloud (8)
- code-reading (5)
- coffee (4)
- coffeescript (2)
- color (3)
- com (2)
- command-line (4)
- common-lisp (13)
- compare (3)
- compiler (2)
- computer-science (11)
- computer-vision (4)
- concurrency (11)
- continuation (3)
- cooking (5)
- coq (14)
- cpu (2)
- cryengine (2)
- css (26)
- css-preprocessor (2)
- d-lang (2)
- d3 (6)
- dart (9)
- data (11)
- data-constructor (3)
- data-science (7)
- data-sicence (4)
- data-type (2)
- db (5)
- debug (2)
- deep-learning (8)
- dependecy-type (3)
- design (15)
- dlang (7)
- docker (5)
- dom (2)
- domain-theory (2)
- dotnet (16)
- dsl (4)
- ebook (6)
- eclipse (3)
- editor-war (6)
- effel (2)
- elixir (30)
- elm (4)
- emacs (8)
- embeded (3)
- entropay (2)
- erlang (20)
- error-processing (3)
- event-driven (2)
- example (5)
- excel (11)
- f# (35)
- f* (3)
- face-detect (2)
- facebook (2)
- fay (3)
- ffi (6)
- finance (11)
- financial-programming (5)
- firefox-os (2)
- fitness (7)
- font (6)
- food (4)
- football (5)
- fp (2)
- fpga (4)
- free-monad (2)
- free_book (2)
- french (7)
- french-videos (2)
- frp (4)
- fstar (3)
- functional (20)
- functional-reactive (2)
- game (4)
- game-engine (3)
- game-programming (22)
- gce (2)
- gem (2)
- generator (3)
- ghc (11)
- ghc-extension (4)
- ghci (2)
- ghcjs (2)
- git (6)
- github (7)
- goalng (2)
- golang (42)
- google (2)
- google-glass (2)
- gpgpu (4)
- gpu (3)
- graph-theory (4)
- graphics (3)
- group-theory (3)
- gui (14)
- hacklang (2)
- hair-salon (5)
- hair-style (2)
- hakell (3)
- hardware (7)
- harmony (2)
- hasekll (11)
- hasell (2)
- haskel (2)
- haskell (321)
- haskell-data-analysis-cookbook (11)
- haste (2)
- haxe (3)
- health (7)
- heroku (2)
- hg (2)
- hibernate (3)
- hmd (2)
- html (14)
- html5 (14)
- ide (4)
- idris (5)
- igo (2)
- infographic (2)
- intellij (4)
- ios (9)
- iot (6)
- java (28)
- java8 (4)
- javascript (93)
- joke (2)
- jose-mourinho (2)
- jquery (2)
- js (3)
- json (8)
- julia (7)
- jvm (12)
- knot-theory (3)
- koka (2)
- kotlin (5)
- lambda-calculus (2)
- language (2)
- latex (4)
- leadership (3)
- learning-resouces (3)
- lens (2)
- library (26)
- liner-algebra (2)
- linq (3)
- linux (3)
- lisp (32)
- lisp-dialects (5)
- list (2)
- livescript (2)
- llvm (3)
- log (2)
- lua (4)
- mac (8)
- mac-app (4)
- machine-learning (16)
- macro (2)
- markdown (4)
- martial-arts (3)
- math (113)
- memory (2)
- mercurial (6)
- meta-programming (2)
- mexico (2)
- microdata (2)
- ml (2)
- ml-like (5)
- modeling (2)
- monad (8)
- mongodb (2)
- motivation-control (3)
- ms (10)
- multi-platform (3)
- music (2)
- music-video (22)
- mvc (2)
- nas (3)
- natural-lang (4)
- neovim (2)
- network (2)
- neural-network (2)
- news (3)
- nlp (3)
- node (9)
- nosql (4)
- nutrient (2)
- object-oriented (3)
- ocaml (52)
- openCV (3)
- openfl (2)
- or-mapper (2)
- os (3)
- oss (5)
- osx (3)
- p-lang (5)
- p_lang (5)
- paper (4)
- parallel (18)
- parsec (3)
- parser (14)
- pdf (6)
- peg (4)
- penetration-test (4)
- perfomance-tuning (16)
- performance-tuning (2)
- perl (2)
- perl6 (3)
- php (7)
- physical-training (2)
- physics (2)
- plugin (3)
- pomme (3)
- postgres (3)
- powershell (8)
- programming (6)
- programming-language (4)
- programming-paradigm (3)
- promise (3)
- pronunciation (2)
- proof (6)
- protein (4)
- proxy (2)
- psg (4)
- purescirpt (3)
- purescript (8)
- puzzle (11)
- python (24)
- quickcheck (3)
- r (5)
- racket (8)
- rails (2)
- react (4)
- reactive (7)
- real-madrid (2)
- recipe (4)
- recommend-system (2)
- reddit (4)
- redis (2)
- refactoring (2)
- reference (9)
- regex (4)
- relational-theory (3)
- riemann-hypothesis (2)
- rlang (3)
- ruby (32)
- running (5)
- running-course (3)
- rust (32)
- scala (78)
- scalafx (3)
- scalaz (4)
- schema (2)
- scheme (16)
- science (4)
- search-engine (2)
- security (14)
- server (2)
- server-less-architecture (2)
- settings (2)
- shell (4)
- sicp (5)
- sleep (2)
- smart-phone (2)
- software-design (2)
- spark (2)
- spec (5)
- sql (14)
- sqlite (3)
- statistics (29)
- storage (2)
- streaming (3)
- svg (4)
- swift (12)
- system-trade (2)
- tdd (2)
- team-management (2)
- test (26)
- text-processing (2)
- tmux (2)
- trading (2)
- tutorial (2)
- type (2)
- type-class (3)
- type-oriented (2)
- type-theory (7)
- type-thoery (2)
- ui (8)
- unity (6)
- user-defined-type (2)
- ux (9)
- vala (2)
- vba (3)
- video (19)
- viewr (2)
- vim (29)
- visa (2)
- visualization (15)
- waf (7)
- warning (2)
- web (11)
- web-app (2)
- web-design (16)
- web-manga (2)
- web-programming (2)
- web_design (3)
- webassembly (6)
- why-some-theory-is-intresting (2)
- win8 (3)
- windows (5)
- wireless (3)
- wish-bookshelf (78)
- wish-food (2)
- wish-list (2)
- wish-place (2)
- wish-salon (2)
- wishlist (57)
- x86 (2)
- xml (3)
- zed (2)
- zsh (2)
- あとで (2)
- あとで読む (1)
- いつか行く (3)
- ねこ (2)
- また見る (7)
- アト読み (4)
- オーダーシャツ (2)
- オーダースーツ (4)
- グルメ (2)
- タイトル変更 (2)
- タイトル変更しました (12)
- パンケーキ (2)
- マドリー (4)
- レシピ (2)
- 外食 (2)
- 後でみる (2)
- 発音 (2)
- haskell (321)
- math (113)
- javascript (93)
- scala (78)
- wish-bookshelf (78)
- wishlist (57)
- clojure (53)
- ocaml (52)
- golang (42)
- f# (35)
ghciに関するtheatricalのブックマーク (2)
-
theatrical 2014/11/05
ghciをパワーアップさせた的な感じ- repl
- ghci
- haskell
リンク -
プロンプトで対話的に評価する
例えば、putStrLn :: String -> IO ()に注意すると、次のようになる。 Prelude> putStrLn "hello" hello Prelude> do { putStrLn "hello"; return "yes" } hello "yes" GHCiは実際には単なる式ではなく文を受け付ける。そのため、値や関数を名前に束縛して、後で式や文の中で使うことができる。 GHCiプロンプトが受け付ける文の構文は、Haskellのdo式における文の構文と全く同じである。ただし、こちらにはモナドの多重定義はない。プロンプトに入力される文はIOモナドの中になければならない。 Prelude> x <- return 42 Prelude> print x 42 Prelude> x <- return 42という文は、「return 42をIOモナドの中で実行し、結果をx
-
1
公式Twitter
- @HatenaBookmark
リリース、障害情報などのサービスのお知らせ
- @hatebu
最新の人気エントリーの配信
処理を実行中です
キーボードショートカット一覧
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
設定を変更しましたx