type-safety

Hi all,

Big fan of functional programming. I'm glad to see ya'll trying to bring this to Python. My question / request is pretty basic, I hope. I was looking over the docs and I saw:

result: Result[int, Any] = Success(1).map(double)

When looking at this I was confused for a couple of reasons, since the syntax is new to me. But the biggest stumbling block was the:

result:

I c

With #292 landed the following Web APIs were added (warning: some typings to be reviewed in future PRs).

This issue works as a tracker for the remaining APIs to support

• AbortController
• AbortSignal
• AbstractRange
• AnalyserNode
• Animation
• AnimationEffect
• AnimationEvent
• AnimationPlaybackEvent
• AnimationTimeline
• ApplicationCache

The .returning() function currently only supports strings (which should be the target table's column names). In reality they can accept any expression and (returning) query.

This should be supported:

insert into bar (val) values (123) returning (select count(*) from bar), id, val || 'test'

which would equate to something like:

db.insertInto(bar).values({ val: 123 })

The Generated Client API is remains largely undocumented...

It would also be awesome if we could include the documentation of the API in the Generated DSL

sqrt, exponentiation, exp, log, sin, cos, tan, their inverses, etc. aren't implemented. Binding to Lisp isn't the hard part, but coming up with a good standard library design is.

It came up in #41 that it would be nice to have functions like abs(), sqrt(), etc. implemented on $System<f64, U> (and friends) directly, and not just through traits, so that they could be called without the traits in scope.