unofficial mirror of emacs-devel@gnu.org 
 help / color / mirror / code / Atom feed
From: Philip Kaludercic <philipk@posteo.net>
To: Lynn Winebarger <owinebar@gmail.com>
Cc: Jonas Bernoulli <jonas@bernoul.li>,  emacs-devel@gnu.org
Subject: Re: [NonGNU ELPA] New package: sqlite3
Date: Tue, 21 Mar 2023 16:53:35 +0000	[thread overview]
Message-ID: <87mt46nj00.fsf@posteo.net> (raw)
In-Reply-To: <CAM=F=bChr9XCZfSh0Snu55VUsUAqHX3iax=mxTNpSY8EHvg4CQ@mail.gmail.com> (Lynn Winebarger's message of "Tue, 21 Mar 2023 09:04:45 -0400")

Lynn Winebarger <owinebar@gmail.com> writes:

> On Tue, Mar 21, 2023 at 8:18 AM Philip Kaludercic <philipk@posteo.net> wrote:
>> Lynn Winebarger <owinebar@gmail.com> writes:
>>
>> >> > * Treating code as data and vice-versa is a powerful programming technique
>> >>
>> >> Not sure about this.... Strings are data too, but neither the SQL
>> >> statements or the regular expressions are (Elisp) code.
>> >
>> > Are lisp macros written in terms of string interpolation?  If there
>> > are no other types of data than strings, fine, but that's not really
>> > the case - machine instructions have different operations for
>> > integers/floats/pointers, a good programming abstraction will reflect
>> > that.  If the underlying machine used strings to represent numbers and
>> > arithmetic operations took two numeric strings and produced another
>> > numeric string, maybe there'd be a case to be made (although the first
>> > point above still mitigates against it).
>>
>> I really have no idea what you are getting at.
>
> The reason for not trying to construct SQL from strings (in macros or
> other programmatic ways) is the same reason lisp and other dynamically
> typed languages don't just treat every value as a string.   The lisp
> macro expander doesn't create a string to pass to eval - why would you
> want to turn everything into a string for it to be parsed again, and
> possibly introduce errors along the way?  If I have a double that
> happens to be expressible as an integer in text, will the system
> ensure the generated query uses and returns values as doubles?
>
> If the machine only had string data types (I don't know how that would
> work, it would be radically different from any architecture I'm
> familiar with), then there would be an argument for only having
> strings as primitive values, even in general purpose languages like
> lisp.

I really, really have no idea what you are getting at.  As in "ok, but
what is your intent in explaining this?".

Are you trying to propose that Emacs circumvents the SQLite API (that as
far as I see uses strings) by constructing statement objects manually?

>> >> To me the
>> >> advantage of something like `rx' is that I can insert comments and make
>> >> use of regular indentation.  Then again, it would also be possible to
>> >> provide specialised SQLite wrappers (sqlite-insert, sqlite-update, ...)
>> >> instead of taking a `rx' like approach to generating strings.
>> >>
>> >> > The real power of embedding sqlite in elisp will come when sqlite data
>> >> > structures can be used as efficient representations of sets and
>> >> > relations in lisp code.  Eventually, I would also expect to see
>> >> > mutually recursive code enabled, with "virtual table" modules for
>> >> > emacs data structures so they can be transparently used in sql code,
>> >> > along with sql functions written in lisp.  For example, you might
>> >> > create a table from lisp data using a select statement rather than
>> >> > executing a large number of insert statements.  In-memory databases
>> >> > would not be unusual, and should be dumpable objects.
>> >>
>> >> What is the point of using a in-memory database if you want to dump it?
>> >
>> > It's just another data structure at that point, so why wouldn't I want
>> > to be able to include it in my pdmp file?  Why would I want to make my
>> > internal data structure available as a separate file, or manage
>> > creating and tracking those files?
>>
>> My bad, I did not understand that you were talking about dumping in
>> terms of what temacs does.
> Also for redumping with dump-emacs-portable.
>
>> [...]  Perhaps you could be more clear if you have
>> a specific example of what you think a in-memory database could be used
>> for when dumped along with Emacs?
>
> *  Anywhere a large association list or hash table is currently used
> *  Caching library locations, checksums, and modification times for
> more efficient loading
> *  Tracking customization variables, dependencies, etc for generating
> the correct sequence of initialization commands at startup
> (particularly after redumping)

Are we sure that a database is more efficient than a hash-table (which
can already be printed and read)?  Or are we talking about unusually
extreme values, like in your other message where you were loading 2000+
packages?

> I'm sure there's more, but we won't know until the programming idiom
> is readily available and easy to use.

Are there any other languages that support this kind of interaction,
where we could learn some lessons about the advantages and limits of
these ideas?

> Lynn

-- 
Philip Kaludercic



  reply	other threads:[~2023-03-21 16:53 UTC|newest]

Thread overview: 26+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2023-03-04 10:17 [NonGNU ELPA] New package: sqlite3 Jonas Bernoulli
2023-03-04 11:39 ` Philip Kaludercic
2023-03-06 18:43   ` Jonas Bernoulli
2023-03-14 16:16     ` Philip Kaludercic
2023-03-14 22:46       ` Jonas Bernoulli
2023-03-15  8:05         ` Philip Kaludercic
2023-03-21  6:51       ` Jean Louis
2023-03-21 10:55         ` Lynn Winebarger
2023-03-21 11:08           ` Philip Kaludercic
2023-03-21 11:56             ` Lynn Winebarger
2023-03-21 12:18               ` Philip Kaludercic
2023-03-21 13:04                 ` Lynn Winebarger
2023-03-21 16:53                   ` Philip Kaludercic [this message]
2023-03-21 21:00                     ` Tomas Hlavaty
2023-04-07  4:53                       ` Jean Louis
2023-03-21 23:58                     ` Lynn Winebarger
2023-03-22  8:10                       ` Philip Kaludercic
2023-03-22 15:05                         ` Lynn Winebarger
2023-03-23  0:07                           ` Lynn Winebarger
2023-03-21 20:42             ` Tomas Hlavaty
     [not found]               ` <875yatn70c.fsf@posteo.net>
2023-03-21 22:46                 ` Tomas Hlavaty
2023-03-22  8:00                   ` Philip Kaludercic
2023-03-21 20:36         ` Tomas Hlavaty
2023-04-07  5:17           ` Jean Louis
2023-03-06  5:08 ` Richard Stallman
2023-03-14 14:36   ` Jonas Bernoulli

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

  List information: https://www.gnu.org/software/emacs/

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=87mt46nj00.fsf@posteo.net \
    --to=philipk@posteo.net \
    --cc=emacs-devel@gnu.org \
    --cc=jonas@bernoul.li \
    --cc=owinebar@gmail.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
Code repositories for project(s) associated with this public inbox

	https://git.savannah.gnu.org/cgit/emacs.git

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).