purescript-vec-dt
illacceptanything
purescript-vec-dt | illacceptanything | |
---|---|---|
1 | 3 | |
5 | 1,946 | |
- | 0.1% | |
0.0 | 9.4 | |
about 3 years ago | 3 months ago | |
PureScript | Ruby | |
- | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
purescript-vec-dt
-
Some thoughts on dependent types
That's a lot of prose just to plug a 100-line library I wrote called purescript-vec-dt. I kid, I kid, this was mostly about sharing how I think about dependent types, and incidentally, I wrote a library. Hopefully, what I wrote above makes the library look less magical. Let's look at a bit of application code written with the library.
illacceptanything
-
At face value, [GitHub stars] are something of a vanity metric, with no more objectivity than a Facebook "Like" or a Twitter retweet. Yet they influence serious, high stakes decisions […]
My most starred repo is https://github.com/illacceptanything/illacceptanything/
- Terraform is currently not reviewing community pull requests
-
Some thoughts on dependent types
As a next step, let's filter everything from the table with a forall. That's because, when we get a type back from a validator with a forall in it, we have to treat it like a blob because it could be anything. All we know is that it exists, and folks will often call it an existential type. That means we can only pass the blob to functions that accept anything. Some examples are \x -> x (the identity function) and _ -> 5 (a function that returns 5). In our microservice, we're not going to get very far with either of those functions. The table now becomes:
What are some alternatives?
codeit - Mobile code editor connected to Git.
pullmetry - PullKeeper - app for getting relevant stats about PRs and reviewers
100LinesOfCode - Let's build something productive in less than 100 Lines of Code.
HACKTOBERFEST2021_PATTERN - 😎A Hacktoberfest-2021 Contribution Repository For Beginners😎... Build Any Pattern You Like...In Any Language❤❤❤
dependabot-core - 🤖 Dependabot's core logic for creating update PR's.
codecrumbs - Learn, design or document codebase by putting breadcrumbs in source code. Live updates, multi-language support and more.
screencasts - Source code for various screencasts
terraform - Terraform enables you to safely and predictably create, change, and improve infrastructure. It is a source-available tool that codifies APIs into declarative configuration files that can be shared amongst team members, treated as code, edited, reviewed, and versioned.
lispy - Learning with Peter Norvig's lis.py interpreter