Sarcastic view: Doesn't matter - the EU wont listen, then pull a surprised pikachu and make laws to force googles play integrity to attest that other devices are genuine, because obviously, the problem is google, not stupid design decisions made while creating the app.
The logic behind this is: It was possible to do this before the introduction of those APIs anyway - but you could not read the response.
You could send a GET request by, for example, embedding an image.
And you could send a POST request by submitting a form - even if the form did only consist of hidden elements.
It is expected from web application that they can correctly handle those requests, even when they were sent from a different origin (for example, blocking them by using a CSRF token).
It was however not expected that existing web applications could handle non-simple requests - as the ability to do so was restricted either to command line tools or required other user interaction/configuration. This is where the preflight request comes in - send an OPTIONS to check if the other side is okay with that kind of request.
But what CORS do is: It can make the response available to the requesting script - the request did already happen if it didn't require a preflight.
To my knowledge, any app can just instruct the installed browser (Google Chrome, Vanadium, Firefox...) to open http[s]://tracker.evil-ad-network.example/?installedId=012345.
Frege targets Java source code, which is then compiled by javac - the downside of that approach is you can not preserve the line numbers for debug information.
At a quick glance, it seems to be missing some hook to resolve class hierarchies - which is needed when merging stacks with different types. Consider
var foo = expr ? new Foo() : new Bar();
For such an expression, some superclass or superinterface for both Foo and Bar has to be chosen.
What I am curios about is, if the java classfile API[1] provides a good model that could work in Haskell as well - I always had the impression that it was heavily influenced by functional programming, for example it uses "lifting transforms"[2].
PS: Good work on the label resolving part - this model is also used by the Java Classfile API and before it, ASM.
I think that premise is wrong - there are many interest groups, and by luck/lobbying/reaching critical mass/... they manage to put one of their interests into a law.
> To protect the wiki against automated account creation, we kindly ask you to answer the question that appears below (more info):
What is the output of: LC_ALL=C pacman -V|sed -r "s#[0-9]+#$(date -u +%m)#g"|base32|head -1
It doesn't have all the bells and whistles - so no support for annotations or arrays, but for ~2h of work, it shows what is possible without resorting to bytecode generation.
* If they want to tell someone personally what to do or not to do, is some form of employment.
* If it is not paid, it can be considered slavery.
* It is usually possible to quit jobs.