RecursionSchemeの検索結果1 - 3 件 / 3件

• あとで読む

  Recursion Schemeによるドドスコ問題の恐るべき解法 - Lambdaカクテル

  • 32 users
  • blog.3qe.us
  • 暮らし
  • 2022/08/06

  さる8月1日、計算機科学の根幹を揺るがすドドスコ問題が出題され、エンジニアたちは震撼した（意味: 面白問題が出たので、なるべくヘンテコな解法を使って己の技巧を誇示するためにエンジニアたちは競ってコードを書きはじめた）。 【問題】配列{"ドド","スコ"}からランダムに要素を標準出力し続け、『その並びが「ドドスコスコスコ」を3回繰り返したもの』に一致したときに「ラブ注入♡」と標準出力して終了するプログラムを作成せよ(配点:5点)— ((🐑++)) (@Sheeeeepla) 2022年8月1日 そこで、関数型テクニックをなんとかねじこんだ解法を作ったのでここに示す。 import higherkindness.droste.Coalgebra import higherkindness.droste.data.list.{ListF, ConsF, NilF} import higherk

  • RecursionScheme
  • scala
  • Lisp
  • プログラミング

  
• あとで読む

  An introduction to recursion schemes

  • 9 users
  • nrinaudo.github.io
  • テクノロジー
  • 2022/08/02

  class: center, middle # An introduction to recursion schemes Nicolas Rinaudo • [@NicolasRinaudo] • [Besedo] --- class: center, middle # Recursive Data Types --- ## Linked list .center[] --- ## Linked list .center[] --- ## Linked list .center[] --- ## Linked list .center[![Linked List - Cons](img/

  • scala
  • あとで読む
• あとで読む

  Unifying Structured Recursion Schemes

  • 4 users
  • www.cs.ox.ac.uk
  • テクノロジー
  • 2020/08/25

  Unifying Structured Recursion Schemes Ralf Hinze Nicolas Wu Jeremy Gibbons Department of Computer Science, University of Oxford, Wolfson Building, Parks Road, Oxford, OX1 3QD, England {ralf.hinze,nicolas.wu,jeremy.gibbons}@cs.ox.ac.uk Abstract Folds over inductive datatypes are well understood and widely used. In their plain form, they are quite restricted; but many dis- parate generalisations hav

  • Haskell
  • プログラミング