Comments (3)
Peaker
commented on June 19, 2024
With dependent types, this approach works well, as you can index your type on the selected instance.
Without dependent types, it is problematic, because you don't have a guarantee that the same instance is always used with the same type, generating potential inconsistencies, breaking invariants.
from lamdu.
Peaker
commented on June 19, 2024
On second thought, it might be possible to give type-level names for instances and index types by those, but type-classes aren't going to be implemented very soon :)
from lamdu.
Peaker
commented on June 19, 2024
In https://www.youtube.com/watch?v=hIZxTQP1ifo, Edward kmett makes a compelling argument why indexing types on their instances is not a great solution in the general case.
It is quite convincing that Haskell-style type-classes are a very desirable feature.
from lamdu.
Related Issues (20)
- WYTIWYS support for case brackets
- Show type-mismatch hole results as lightweight fragments (without presenting types)
- Deleting first alt/field in an open case goes to red cursor HOT 1
- Backspace after "," in record deletes entire record
- Abbreviation avoidance too strict?
- Stack size exceeded error in simple snippet HOT 2
- Wrong value annotation for array
- CI Linux environment broken HOT 1
- Layout improvement for multi-line operators HOT 1
- Allow underscore in alphanumeric search-string in holes
- Cmd+Right to move if-expression's condition to true branch
- Assertion when adding function parameter HOT 2
- Assertion in hole completions when LocalMut is involved? HOT 1
- New presentation mode editing UX HOT 1
- Light lambda sugar check broken for nested parameters
- Smooth resize in macOS HOT 2
- Consider enter key for add let item
- Bug in fragment search-term HOT 1
- UI does not contain shell HOT 3
- Windows Installation
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from lamdu.