Post #2703335

plt research idea: language with strong support for "partially initialized" structures. specifically the pattern I want is where you can initialize fields A and B, then call some method to compute C using A and B, because the method and its callees are tagged as not requiring C