Urbit has tons of interesting ideas: http://t.co/6IrAVbOBpP though the terminology is weird: gate=lambda, vane=kernel module, wire=path etc
miniblog.
Related Posts
@nihilazo @eli_oat @technomancy @csepp The thing I like about lisps is the ability to build functions around snippets until I've written a whole program. It's interactive and pleasant.
I agree that the advocacy is distracting. The book Let Over Lambda has interesting ideas but it's *so* convinced that lisp is always the best.
I sometimes find it hard to read too. It's easy for different patterns to look visually similar.
An introduction to the world's largest CRM, the importance of allowing users to build custom logic, and a discussion of providing a programmable AWS Lambda style platform: https://tryretool.com/blog/salesforce-for-engineers/
Interesting @lambda_conf talk showing how Dialyzer ('discrepancy analyzer') offers gradual typing for Erlang and Elixir: https://youtu.be/FXCMiQWnWu0
It's a neat type system: it uses 'success typing', (it assumes you're correct) and exotic features like ranges and non-empty lists!