Timeline for Why is String being interpreted as a type?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 12, 2022 at 16:07 | vote | accept | Walker Leite | ||
| Feb 21, 2022 at 19:37 | comment | added | Mihai Codescu | Also see the example Lars gave in the lecture youtu.be/…: 1. type application allows us to disambiguate the type of callEndpoint 2. data kinds allows us to use type-level strings | |
| Feb 21, 2022 at 19:12 | comment | added | Mihai Codescu |
No, because of DataKinds you can use "give" as a type, both in Endpoint and in the type application. Because of the DataKindsextension, String becomes a kind and the values of type String become types of kind String.
|
|
| Feb 21, 2022 at 18:44 | comment | added | Walker Leite |
DataKinds explains why Endpoint can receive a type as argument and return a concret type, but it does not explain why I am allowed to use "give" and "grab" as type references on @ operator argument
|
|
| Feb 21, 2022 at 15:38 | history | answered | Mihai Codescu | CC BY-SA 4.0 |