cdfa
01/23/2022, 6:24 AMAndrew F
01/23/2022, 6:28 AMKartik Agaram
cdfa
01/24/2022, 3:15 AMJason Morris
01/24/2022, 2:03 PMcdfa
01/24/2022, 3:06 PMdnmfarrell
01/25/2022, 4:17 PMcdfa
01/25/2022, 7:34 PMdnmfarrell
01/26/2022, 2:54 PMpackage foobar
func foo() string {
return "foobar"
}
You could imagine pre-pending code with a faux package declaration in order to parse it but it is worse than that; there is a restricted set of statements that can appear in the top level declaration of a package, so some statements will need to be wrapped in a faux function declaration in order to parse them ...cdfa
01/27/2022, 10:56 AMAndrew F
01/28/2022, 7:33 PMyairchu
01/30/2022, 12:13 PMFor example, if we attempt to insert a number where a function is expected, the expression is transformed to an application term with a hole for the argument. This term can then be typed as a free type variable. However, the number is inserted in the function position of the application term, which still results in a type error.The last sentence is incorrect. The number is actually inserted in the argument of the application term in the underlying language, and there is no type error. Perhaps the confusion stems from the sugared surface language showing it as a number with a question mark next to it (which we call a “fragment” with a number in it).
However, evaluation is not continued around hole arguments in application terms or under partially applied lambda terms and function values are not displayed.True, however this isn’t by design, just that we didn’t get to it yet. So much to do 🙂
cdfa
01/30/2022, 2:24 PMyairchu
01/30/2022, 2:35 PMcdfa
01/30/2022, 2:35 PMyairchu
01/30/2022, 2:36 PMcdfa
01/30/2022, 2:37 PMyairchu
01/30/2022, 2:41 PMcdfa
01/30/2022, 2:44 PMyairchu
01/30/2022, 2:47 PMcdfa
01/30/2022, 3:03 PMyairchu
01/30/2022, 3:19 PMif you make an API request and you’re modifying code that uses the returned data, it would not make the request after every edit but reuse saved data?Exactly.
Would you “snapshot” other program state (like values of variables) that is also relevant to the code processing the request’s data as well, or recompute it from literals/other cached data?Only the descriptions for the IO actions and their results will be saved, the other stuff will be recomputed normally
Kartik Agaram
yairchu
01/30/2022, 7:40 PMcdfa
02/03/2022, 12:16 PMdnmfarrell
03/16/2022, 7:49 PMcdfa
07/20/2022, 7:12 PM