Re: Appetite for Frama-C annotations? - Mailing list pgsql-hackers

From Dagfinn Ilmari Mannsåker
Subject Re: Appetite for Frama-C annotations?
Date
Msg-id 87r1alod9r.fsf@wibble.ilmari.org
Whole thread Raw
In response to Re: Appetite for Frama-C annotations?  (Chapman Flack <chap@anastigmatix.net>)
Responses Re: Appetite for Frama-C annotations?  (Colin Gilbert <colingilbert86@gmail.com>)
List pgsql-hackers
Chapman Flack <chap@anastigmatix.net> writes:

> On 12/09/21 12:53, Colin Gilbert wrote:
>> ... plugins written in
>> something like Rust or Ada/SPARK? I write this, hoping not to tread on
>
> Some work toward supporting "deep" PostgreSQL extensions in Rust
> was presented at PGCon 2019 [0].

There's also https://github.com/zombodb/pgx/, which seems more complete
from a quick glance.

https://depth-first.com/articles/2021/08/25/postgres-extensions-in-rust/


- ilmari



pgsql-hackers by date:

Previous
From: Chapman Flack
Date:
Subject: Re: Appetite for Frama-C annotations?
Next
From: Fujii Masao
Date:
Subject: Re: Allow escape in application_name