The Verse Calculus: a core calculus for functional logic programming
Abstract Functional logic languages have a rich literature, but it is tricky to give them a satisfying semantics. In this paper we describe the Verse calculus, VC, a new core calculus for deterministic functional logic programming. Our main contribution is to equip VC with a small-step rewrite semantics, so that we can reason about a VC program in the same way as one does with lambda calculus; tha
今年入ったRustの機能について調べごとをいろいろする
Option#unwrap_unchecked & Result#unwrap_unchecked unwrap_unchecked というメソッドが生えた。unwrap とは違い、None や Err に対してこれを実行すると未定義動作になる。したがって、この関数は unsafe になっている。 では unwrap と何が違うか。Option を例にとってコードを読むと違いが少しわかる。 pub const unsafe fn unwrap_unchecked(self) -> T { debug_assert!(self.is_some()); match self { Some(val) => val, // SAFETY: the safety contract must be upheld by the caller. None => unsafe { hint::unreach
Beyond Functional Programming: The Verse Programming Language
Simon Peyton Jones, Tim Sweeney Lennart Augustsson, Koen Claessen, Ranjit Jhala, Olin Shivers Epic Games December 2022 Tim’s vision of the metaverse Social interaction in a shared real-time 3D simulation An open economy with rules but no corporate overlord A creation platform open to all programmers, artists, and designers, not a walled garden Much more than a collection of separately comp
キャッシュによるRubyの正規表現のマッチングの高速化の紹介 - クックパッド開発者ブログ
9月からRuby開発チームにインターンシップとして参加している@makenowjustです。 総合研究大学院大学の学生で、普段は情報セキュリティに関する研究をしています。 インターンシップでは、キャッシュ (メモ化) を利用したRubyの正規表現の高速化を行いました。 ReDoSと呼ばれる、バックトラックが爆発することでマッチング時間が膨大になる脆弱性があります (ReDoSについては、拙作ですがWEB+DB PRESSに掲載された記事があります)。 近年、ReDoSは多く報告されており、Rubyもその例外ではありません (参考1、参考2)。 今回実装した最適化は、ReDoSを防ぐことを目的としたもので、多くの正規表現のマッチング時間が文字列の長さに対して線形となります。 ReDoSが起こる正規表現の例として、/^(a|a)*$/が挙げられます。 今回の修正の前後での実行時間を比較すると、
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
The Verse Calculus: a Core Calculus for Functional Logic Programming | Lambda the Ultimate