David Barbour
David Barbour
Suave has meager and awful documentation for use of TLS. There is one page on Suave.io, [Multiple Binding and SSL](https://suave.io/binding.html), that mentions TLS is possible, but it provides no examples...
At the moment, Kitten's support for locals require special support from the compiler, REPL, etc.. I recently developed a different approach to locals in context of my language, Awelon, in...
At the moment, I have {:u} as type `a → Sealed :u a` for discretionary sealers, which serves a role similar to `newtype` in Haskell languages (i.e. you cannot accidentally...
Finish designing/choosing compression and encryption algorithms for ABC resources. Requirements and Desiderata for Compression: - greedy algorithm - simple, deterministic - streaming, efficient - statically bounded encoder/decoder costs - low...
Sorted key maps. (And sets, I suppose.) I'm really missing this data structure!
It's been lovely to see the raw ABC code underlying various blocks. However, as I scale up to working with larger functions, the deep implementation details are distracting. It may...
In REPL, printing strings containing control characters is a bit difficult to read. Exclude strings with control characters (other than tab, newline) when printing for REPL.
I really should develop a typechecker for ABC. Or perhaps more than one type checker. I have a lot of ideas, at the moment, but I feel I need a...
Awelon Bytecode does not provide primitive operators for reflection and introspection because these are security sensitive operations. However, it has always been expected that access to these utilities should be...
I'm terribly bored of working with simple math functions and data structure manipulations on the REPL. I'd like to work with a more visual or audible medium. It may be...