The funny thing about this is that, if you know, there is a bug in it! This is exactly why you should use a library unless you understand it.
Case made by itself!
Do we really need a library for OAuth?
Especially since providers can add their own request parameters (login_hint=SUB) and response fields ("refresh_token_expires_in": 3600)
It's mostly just a JSON validator at this point
The programming language that made me fall in love with Types is F#
I watched so many videos from Scott Wlachin that I eventually understood how to leverage the compiler in my advantage. While having Jose in the other side reminding us that types cant guarantee all correctness π
I am a mixed breed
90% of the types vs tests debate is typing advocates thinking all dynamic languages are like JavaScript and dynamic devs thinking all type systems are OO-based.
As I discussed with Dev, I am focusing on the ABI and it will be based on WASM, so you can use TypeScript, C#, or whatever. I do not want to dictate the runtime; most of the work will be behind https://t.co/CyghKULXO5
I would love to have strong, opinionated folks like you work together. We may diverge, but the final outcome will most likely be the combined best.
@DNAutics Good for you. I have done daily professional Elixir for 10 years by now and between Dialixer and guards, I can ensure you people are doing it every day.
I happy for Elixir 1.19; I am not asking for annoying type systems neither π
My first 10 years as a professional developer were spent almost exclusively in dynamic languages: JavaScript, Ruby, and Elixir. I always understood the appeal of static typing, but I never understood the ideology around it (the idea that you have to be on one side or the other.)
Lately, working in Rust and Go has reminded me how nice it is to define new categories/types and let the compiler enforce them.
I will continue to write tests, because tests capture forms of correctness that categories/types cannot prove. But I love not having to write tests for properties the type system can already guarantee.
@DominikTornow That is the Erlang way, which really freaking cool regardless. Here is the Elixir one!
It comes with some built-in monitoring for edge cases
@dan_note@zebassembly What is the fundamental difference between OTP and what Zeb will most likely do, assuming Zeb uses WASM, given that OTP has no built-in security mechanisms and requires AST parsing in the hope that it will work?
People often get this wrong:
But per systems thinking, correctness is not a { language, static allocation, testing, etc. } problem.
Correctness is a design problem.