TypeScript Standalone

[tomsugarev]

Typescript generator

Bit of extra fiddling compared to Swift and Kotlin.

Looking at the L_test_one class in TS it needs to explicitly state the good property.
In Swift/Kotlin it doesn't. Guess this is a difference in the protocol(interface) inheritance??

class L_test_one extends L implements I_test_one {
  good!: L_test_type_odd_good;
  more = new L_test_one_more(`${this.identifier}.more`);
}
interface I_test_one extends I_test_type_odd {
  more: L_test_one_more;
}

public final class L_test_one: L, I_test_one {
	public override class var localized: String { NSLocalizedString("test.one", comment: "") }
}
public protocol I_test_one: I_test_type_odd {}
public extension I_test_one {
	var `more`: L_test_one_more { .init("\(__).more") }
}

[steprescott]

Great stuff Tom. Thanks for your contribution.

[steprescott]

Could you also add your generator to the list of generators found here.

[ollieatkinson]

@tomsugarev I had a go at playing with the generated TS code, looks really good - I have a couple of small suggestions:

1. Remove localized as we don't use it in TS, unless you can think of a reason we need it. If so, we should make it static to avoid collisions
2. Make __ protected so you can't access outside of the scope
3. Create a symbol 'identifier' to be used with subscript syntax
4. Provide toStringTag symbol so printing the object will also neatly print the string id: [object test.one]
5. Use I_ types in the generated interfaces

This makes the auto-complete super clean:

Access to the identifier can be done through subscript:

test.one['identifier'] // "test.one"

Example Generated Code

interface I { }

 // L
 class L implements I {

   protected __: string;

   constructor(id: string) {
     this.__ = id;
   }

    get [Symbol.toStringTag]() {
        return this.__;
    }

    get ['identifier']() {
        return this.__;
    }
 }

 // MARK: generated types
 class L_test extends L implements I_test {
   one = new L_test_one(`${this.__}.one`);
   two = new L_test_two(`${this.__}.two`);
   type = new L_test_type(`${this.__}.type`);
 }
 interface I_test extends I {
   one: I_test_one;
   two: I_test_two;
   type: I_test_type;
 }
 class L_test_one extends L implements I_test_one {
   good!: L_test_type_odd_good;
   more = new L_test_one_more(`${this.__}}.more`);
 }
 interface I_test_one extends I_test_type_odd {
   more: I_test_one_more;
 }
 class L_test_one_more extends L implements I_test_one_more {
   time = new L_test_one_more_time(`${this.__}}.time`);
 }
 interface I_test_one_more extends I {
   time: I_test_one_more_time;
 }
 class L_test_one_more_time extends L implements I_test_one_more_time {
   one!: L_test_one;
   two!: L_test_two;
   type!: L_test_type;
 }
 type I_test_one_more_time = I_test;
 class L_test_two extends L implements I_test_two {
   no!: L_test_type_even_no;
   bad!: L_test_type_even_bad;
   timing = new L_test_two_timing(`${this.__}}.timing`);
 }
 interface I_test_two extends I_test_type_even {
   timing: I_test_two_timing;
 }
 class L_test_two_timing extends L implements I_test_two_timing {
 }
 type I_test_two_timing = I;
 class L_test_type extends L implements I_test_type {
   even = new L_test_type_even(`${this.__}}.even`);
   odd = new L_test_type_odd(`${this.__}}.odd`);
 }
 interface I_test_type extends I {
   even: I_test_type_even;
   odd: I_test_type_odd;
 }
 class L_test_type_even extends L implements I_test_type_even {
   no = new L_test_type_even_no(`${this.__}}.no`);
   bad = this.no.good;
 }
 interface I_test_type_even extends I {
   no: I_test_type_even_no;
 }
 type L_test_type_even_bad = L_test_type_even_no_good
 class L_test_type_even_no extends L implements I_test_type_even_no {
   good = new L_test_type_even_no_good(`${this.__}}.good`);
 }
 interface I_test_type_even_no extends I {
   good: I_test_type_even_no_good;
 }
 class L_test_type_even_no_good extends L implements I_test_type_even_no_good {
 }
 type I_test_type_even_no_good = I;
 class L_test_type_odd extends L implements I_test_type_odd {
   good = new L_test_type_odd_good(`${this.__}}.good`);
 }
 interface I_test_type_odd extends I {
   good: I_test_type_odd_good;
 }
 class L_test_type_odd_good extends L implements I_test_type_odd_good {
 }
 type I_test_type_odd_good = I;
 const test = new L_test("test");

[ollieatkinson]

Example: https://www.typescriptlang.org/play?#code/JYOwLgpgTgZghgYwgAgJLIN7IL4ChfID0hyAMgQgDZwDONZywAtgA6URMTj3ob7ICWUAPaQEkACbIA+tIBcyGmCigA5gG5+AhMJBKoAV3HCoACmASF+tQEpMBAQLAALYDQB0s5AF5GEzY54DgKqEGDIANoAygCeTABGwpTuYMJRymoAKnCqALqmdnyOxchQYQZQIMgubp7SAYFaIWGRAOQWXGDAMMDQrfmFwSVlYBVVNR6yDQJ4OPzEyACyAIIASgDSCqEg0HCS1TEsEDQU1HRk0pBKyBAAHpAgEvSkjKzsnNxol8fhRQK6KF8OwA7hcrmBpADTAADAAkGAmdWw7gB0Js0zAwOEPmQILBP0uWJh8MRsmRmOEaIxh0BuIgoNI3yUlxpxIRrkm0nJNKpBFmoEgsEQKFQTPCdweTzQ9kcAIUovBkJ2GKx8rFhOE1KOasVYBpAVmVFoz3VAJu9y4UpezDYHE6PFNOxlIWEwgkAEIFIzdTTIRIJNJVK7-MEmCZaXjvQSAdIw2U2aSuci4xBeXNGOBoPAkF9FWaJZaHT6jn6pH9kCmddGdrHwwbTsb8cyYynzZLnq9bR8wEXqxBa2VndVmBH6U2IS3w5cRwmOUjySO0-zM0Kcwq+wOUAXHjwh11OFXmzWU9POPXkEbzlGj-2T-utxadwwbe97bmN3eR0OAZ7x0qICqwi-teEIUlqEDAeqepHOe0Eio6t5TveOLrkoASXiaupYm2hbPm8dqfKhoHYeWIBAV6UG+hAABuXDSGR0zxHAHoUcW-Y0XRTEho4+5qDikZQVip5qLOtRkguTBqEuBAClmwrvsyFI4U+REsiWHFVOWvEgKoh7EcIwk6eeGF-hShmqMpVqdq+hGCQZ2kWUUsxwQp+nmSh6FnJhBIuduVkvgRPauWpKDlhp-FjiBIXSBpomctgyIaWm-z+hFDKUSWboSHF84ov60kZoK2bwWxlm7mFtEgHp0UadMWXVXBpbGV5plUZVZV4V2b6qY14WkdiQKRRl7GVfRwg5eJ7hkclyBcTiiJke4QZuuesmriVPltVwHW8MEZENVtIBjbBNKtepo1zb4UW9aNZGBsGDZXsNMW3difkdgF3a9oph1jUOy1SIN6VsS9dF3QDE1JktwYFWtxXBTdYNvY+Uq7Y4AMHedSP3StfKPd5P1Y0d4PBh11r4V9CO-STboys5p09dTBkAx5+Nnf2WVk9ZgXfaBvqc+WLNA+zpY49lcLsmJUMA7DK7w4zmWpe90qC8GmMc-6YvNY21385rLPK+TXW2SDWVi3TBAuQrGsBkLaDobo1zgml46mAAROCbvokAA

[ollieatkinson]

Awesome @tomsugarev - let's get this in the next release of MindFlare