。そのようなlet
式の範囲は何ですか?次の行ですか?
14
A
答えて
15
簡単に言えば、それは「do
の終わりまで、それが書かれているところから」スコープです。
do
の文内では、let
の処理方法が異なります。次のようにhttp://www.haskell.org/haskellwiki/Monads_as_computation#Do_notationによれば、それは解釈され
:
do { let <decls> ; <stmts> }
= let <decls> in do { <stmts> }
8
範囲はdo
ブロックの残りの部分です。
See §3.14 of the Haskell Report(具体的には、翻訳ブロックの4番目のケース)。 (Porgesが指摘するようにin
なしlet
は、do
ブロック内でのみ有効ですのではい、これは、do
ブロックに関するセクションです。)
+2
も注意 ''せずlet'そのin 'は' do'ブロック内でのみ有効です。 – porges
関連する問題
- 1. グループ連続は私が持っているクラスを持っている<code>List<DateTime> dates;</code></p> <p>を持って
- 2. シャドーイングの `let`バインディングを使用するこのコードはなぜハングアップしますか?インタプリタで</p> <pre><code>j = let x = 4 in let x = x * x in x </code></pre> <p>を:
- 3. 私は形でマルチファイルアップロードコントロールの<strong><em>N</em></strong>番号を持っているMVC
- 4. $( '#table> tr')セレクタが一致しないのはなぜですか? jQueryを使って</p> <pre><code><table id='table'> <tr> <td>..</td> </tr> </table> </code></pre> <p>JSコード:
- 5. のLINQのINステートメントは、私は2つのテーブル</p> <p><strong>契約</strong></p> <p>IDを持って
- 6. GKMinmaxStrategistは、私は私の<code>main.swift</code>に次のコードを持っている任意の移動
- 7. <p></p>は、私は次のコードを持って、春
- 8. XMLシリアライザ - 私は次のコードを持って、</p> <p>を要素
- 9. は、これは私です</p> <pre><code>'[errors]' => [], </code></pre> <p>..私は、ユーザーテーブルを持っていると私は私が<code>$user</code>をデバッグする場合でも、それはnullを返し<code>save()</code>保存したいときにエラーがないCakePhp3
- 10. スウィフト:</p> <pre><code>guard let user = username else{ return nil } </code></pre> <p>しかし、私は次のエラーを取得しています::なぜか、どのように私</p> <pre><code>Nil is incompatible with return type String </code></pre> <p>あなたのいずれかが知っている無記号が戻り値の型文字列
- 11. Railsとフォーム:</p> <pre><code><%= f.select :credit, (0..500) %> </code></pre> <p>これは、このになります:私は今、この権利を持っている番号の範囲およびUnlimited
- 12. 私はこの</p> <pre><code>console.log(document.getElementsByClassName('value')[0].innerHTML); </code></pre> <p>を持っている他のページから
- 13. 私は<strong></strong> invitation_mailer.rb次に持って
- 14. `オブジェクト:私は<code>JavaScript</code>と<code>fabricJs</code>で働いている、と私は、このイベントを持って二回
- 15. が、それは私がクラスメソッド</p> <pre><code>+ (id)sharedInstance; </code></pre> <p>を持って、私は</p> <pre><code>NSString *string = @"return sharedInstance;"; </code></pre> <p>を持っ例えば無地のObjective Cのコード
- 16. 顧客の色は、我々は<code>expression</code>以下で使用<code>expression.</code></p> <p>に基づいて日付の値を示し、私たち<code>SSRS</code>レポートの列を持っている
- 17. aspxの<%:と<%=と<%#の違いは何ですか?
- 18. アイテムは、私が<code>ObservableCollection<string></code>を持って
- 19. 私はこの<code>.htaccess</code>ファイルを持っているの.htaccess
- 20. PostgreSQLは、私がデータベースで次<code>Command</code>テーブルを持って
- 21. は、私は2つのプロジェクト<strong>OSBのEclipse</strong>上<strong></strong>と<strong>B</strong>を持っている日食
- 22. レールは、私が<code>Foo::ActiveRecord_AssociationRelation</code>を持って
- 23. Ninjectコンテキストは、私は一般的なインタフェース<code>IRepository<T></code>との2つの実装<code>xrmRepository<T></code>と<code>efRepository<T></code></p> <p>を持っているワット/オープンジェネリック
- 24. チェックリスト文字列は、私は何もない空間(「<em>_</em> _」)</p> <pre><code>List<string> MyList = (List<string>)Session["MyList "]; if(MyList !=null || MyList != "") { } </code></pre> <p>マイリストのリストを持っている
- 25. ファイルリダイレクトVS.</p> <pre><code>while(<>){ print; } </code></pre> <p>と私はこのようにリダイレクトしてファイルに渡す必要があります考えています:<code>./sort.pl < wordlist</code>を、それが持っている私はそうのようないくつかのファイルからSTDINにかかる<code>sort.pl</code>という名前のperlスクリプトを持って
- 26. は、どのように私は、変数</p> <pre><code>int x = 2; </code></pre> <p>とリストを持っている
- 27. IE:「This.containerは」私はIE7でないFirefox3</p> <p>でこのエラーを持っているオブジェクト
- 28. オッドは、私はモジュール<code>todo</code>でモデル<code>todo.task</code>を持って
- 29. のMozilla 3.0.8とChrome私は<em>divの</em>内<em>テキストエリア</em>を持って
- 30. Vueのリソース$ HTTP私は私の<strong>準備</strong>方法でこのコードを持っている
'[第] ++ rest'は非常に奇妙である、あまりにも、'最初にすべきである:rest' – configurator