Do you think the web-based IDE is enough to be productive? For example, could this work on a Chromebook (in browser) or an iPad Pro (browser only)?
The IDE is btw entirely optional and everything can be done via code. E.g. all operations done via the visual Schema Designer are saved in the Application/Schema.sql file. That file can be edited from a code editor as you want. All operations in the schema designer operate on the AST of the parsed Schema.sql file.
Big thank you for developers.
When you edit database, instead of waiting for you to click update, maybe you can prompt user after update... "Do you want to run migrations?"
Small things like that.
Overall I love functional aspects of it and will be playing more in days to come.
We've not changed our minds on docker becoming a free feature eventually. We just didn't update the pricing yet, but this is planned for the near future.
A good starting might btw be our IHP Casts Youtube playlist https://www.youtube.com/watch?v=PLl9Sjq6Nzc&list=PLenFm8BWuK...
There are plugins for Haskell and dependently typed languages that go much further in the ‘if it compiles, it is formally validated’, but that’s a lot more work; there is a trade-off for now or you will be stuck. Your ‘run of the mill’ tests also don’t formally validate your logic (not even close usually). Our types, even if static, are usually too loose and our type systems not powerful enough; writing tests helps to close the gap between practical and theoretical but a lot more can be done semi-automatically (and will be I hope).
With VSCode the editor integration and autocompletion should work really well. You can see a demo in this video: https://www.youtube.com/watch?v=_8_8XYO6rgY