flupe

4 ms·

1.
by flupe 2y ago
A little blog post on how, sometimes, a little bit of dependent types can make your life easier. For practical things.
2.
by flupe 4y ago
Both your examples (is my number prime, are my XML nodes unique) are easily expressed in a dependently-typed language. Dependent type checkers may be hard to implement, but the typing rules are fairly simple, and people have been using this
3.
by flupe 4y ago
I love the idea, although it doesn't seem to perform very smoothly, even on simple examples. A related project is Penrose [^1], except the latter isn't interactive. [^1]: https://penrose.cs.cmu.edu/
4.
by flupe 4y ago
OP here! I just found out about about this technique last week and it looks quite important for any EDSL designer out here. The post is archived here, in case my site goes down: https://web.archive.org/web/2022121208064
5.
Overloading the Lambda Abstraction in Haskell(acatalepsie.fr)
3 points by flupe 4y ago|1 comments
6.
by flupe 4y ago
The problem is not solved by using unsigned ints though, because it stems from integer overflow. I'm afraid your implementations are, alas, also incorrect.
7.
by flupe 4y ago
Their point was about having to pay to export your data. Afaik Bridge is still to this day only available to paying users. Still, their statement is no longer true since exporting in bulk is permitted for free with the Import-Export app
8.
by flupe 4y ago
The repository for Proton Mail Bridge (which is open source) claims to also host the source for the Import Export app. Here: https://github.com/ProtonMail/proton-bridge Briefly looking at the files and code it's h
9.
by flupe 4y ago
Nowadays they do provide an app (Import-Export) to export all your mail , even for free tier accounts, so it's quite easy to move away. See: https://proton.me/support/export-emails-import-export-app
10.
by flupe 4y ago
Absolutely perplexed by the other answers that think CSS grid is a hammer for every nail. In your example without a table, you can just drop `display grid` and set `div {min-height: 33vh}`.