An Introduction to Tabled Logic Programming with Picat | Linux Journal
Picat is a new logic-based programming language. In many ways, Picat is similar to Prolog, especially B-Prolog, but it has functions in addition to predicates, pattern-matching instead of unification in predicate heads, list comprehensions and optional destructive assignment. Knowing some Prolog helps when learning Picat but is by no means required. According to the authors of the language, Picat
[Haskell] キモいフィボナッチ数列の解読を試みる
> 以下のフィボナッチ数列のリスト定義はとてもキモいので、ぜひご堪能下さい。 > fib = 0:1:zipWith (+) fib (tail fib) (＊ [ c ](スペース無し) って書くと, 入れてるプラグインの影響で, C言語だと認識されてしまうので, あえて上では[ｃ(全角)]と書いています ) そんで, zipWith (+) fib (tail fib) ここは何をしているかというと… うーん… 難しい… 最初 fib の中身は [0, 1, …]（2番目までしか分かってないリスト） だけで, そこに zipWith (+) fib (tail fib) をくっつけるわけだけど, この状態での tail fib は [1] だから, zipWith (+) fib [1] で, えーーーーーっと, ああああ混乱してきた!!!!!! わかんない!!! 難しい!!! あとで
![[Haskell] キモいフィボナッチ数列の解読を試みる](https://cdn-ak-scissors.b.st-hatena.com/image/square/abdd56b3ab2666b0122ca49c0399014ffe842d98/height=288;version=1;width=512/https%3A%2F%2Fchomado.com%2Fwp-content%2Fuploads%2F2016%2F01%2Fcropped-aSdLGr6h_400x400.jpeg)
[Haskell途中下車の旅] fold村散策（その２） - NDiS Tech
前回は foldl と foldr の概要を見ました。 今回はこの二つの高階関数の違いを見ていきましょう。 ではなぜ and が foldr の方を使っているのか and [False,x2,x3,x4] の計算を例に見ていきましょう。 （False が入っているので論理積の結果が False になることは人間の目には明らかです） and の定義は and = foldr (&&) True でしたので and [False,x2,x3,x4] の値は False && (x4 && (x2 && (x3 && True))) と表せます。Haskell は外側から具体的な値が必要になる順に計算していきます。 (&&) の定義は True && x = x False && _ = False でしたから False && _ = False の方の処理が適用され (x4 && (x2 &
プログラミングHaskellのfoldr, foldlの説明が秀逸だった件 - あと味
今年はHaskellを勉強しています。 土日などを利用して、すごいH本を3〜4週間かけて読み終えました。時間かかった分、記憶の密度が低くて、まだ理解度は低いです。 新しい概念を学ぶ時は、同じテーマの本を何冊か読んで、本当に読みたかった本を再度読み直すというのが自分の学習の方法として定着しているので、今は、プログラミングHaskellを読み進めています。 すでに「ふつうのHaskellプログラミング」は読み終えていましたが、改めて読むと、本当に普通のプログラミング本に感じたので、すごいH本がかなり刺激的で、よくできた本なんだと思います。読み直す時が楽しみであります。 本題 さて、「プログラミングHaskell」の話に戻りますが、foldrとfoldlの説明の箇所が秀逸だと思ったので内容を紹介してみます。*1 fold関数は、他の言語でreduceとかinjectとか呼ばれている関数ですね。個
畳込関数fold：foldrとfoldlの違い (あるいはfold_right, fold_left） - 一歩前進
畳込関数fold リストに関する処理は、以下のようなパターンで処理することが多いです。 f [] = v f (x:xs) = x ● f xs 上記は関数fにリストを与えた時、次のような処理を行います。 リストが空の場合：値vが返される リストが空でない場合：先頭要素xと関数fを残りのリストxsに適用した結果に対して、何らかの演算●を適用したものが返される このようなパターンを簡潔に記述するために畳み込み(fold)と呼ばれる関数を使うことが出来ます。1 例として、合計を取るsum関数の通常版とfold版を示します。ソースコードはHaskellです。 sumの通常版 sum [] = 0 sum (x:xs) = x + sum xs sumのfold版 sum = foldr (+) 0 foldは次の入力を受け取り、出力を返します。 入力： ２引数関数 アキュムレータの初期値 畳み込
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
