It is difficult to find information on how modern proprietary Ada compilers are implemented.<\/p>
DDG threw an AI answer at me, which didn't reveal anything more than that WP article. There seems to be a lot of silent information in the Ada world. Perhaps not a surprise, given the roots in military applications and industry rather than academia.<\/p>","generator":{"id":"tag:gnusocial.jp,2026-09-02:notice-source:ActivityPub","objectType":"application","status_net":{"source_code":"ActivityPub"}},"id":"https:\/\/libranet.de\/objects\/0b6b25a8-6869-dfee-c3e4-7cd200026931","object":{"id":"https:\/\/libranet.de\/objects\/0b6b25a8-6869-dfee-c3e4-7cd200026931","objectType":"note","content":"
It is difficult to find information on how modern proprietary Ada compilers are implemented.<\/p>
DDG threw an AI answer at me, which didn't reveal anything more than that WP article. There seems to be a lot of silent information in the Ada world. Perhaps not a surprise, given the roots in military applications and industry rather than academia.<\/p>","url":"https:\/\/libranet.de\/display\/0b6b25a8-6869-dfee-c3e4-7cd200026931","status_net":{"notice_id":null},"inReplyTo":{"objectType":"note","id":"https:\/\/libranet.de\/objects\/0b6b25a8-2269-dfec-a5ae-fc2986702442","url":"https:\/\/libranet.de\/display\/0b6b25a8-2269-dfec-a5ae-fc2986702442"}},"to":[{"objectType":"http:\/\/activitystrea.ms\/schema\/1.0\/collection","id":"http:\/\/activityschema.org\/collection\/public"}],"status_net":{"conversation":"tag:gnusocial.jp,2026-04-15:objectType=thread:nonce=ffc6299d729461a6","notice_info":{"local_id":"12499272","source":"ActivityPub"}},"published":"2026-04-24T05:37:23+00:00","provider":{"objectType":"service","displayName":"GNU social JP","url":"https:\/\/gnusocial.jp\/"},"verb":"post","url":"https:\/\/libranet.de\/display\/0b6b25a8-6869-dfee-c3e4-7cd200026931"},{"actor":{"id":"https:\/\/libranet.de\/profile\/clacke","displayName":"clacke","status_net":{"avatarLinks":[{"url":"https:\/\/gnusocial.jp\/theme\/gnusocialjp\/default-avatar-profile.png","rel":"avatar","type":"image\/png","width":96,"height":96},{"url":"https:\/\/gnusocial.jp\/theme\/gnusocialjp\/default-avatar-stream.png","rel":"avatar","type":"image\/png","width":48,"height":48},{"url":"https:\/\/gnusocial.jp\/theme\/gnusocialjp\/default-avatar-mini.png","rel":"avatar","type":"image\/png","width":24,"height":24}],"profile_info":{"local_id":"4960"}},"image":{"url":"https:\/\/gnusocial.jp\/theme\/gnusocialjp\/default-avatar-profile.png","rel":"avatar","type":"image\/png","width":96,"height":96},"objectType":"person","summary":"Flawesome. GNU\/Linux is my daily driver OS since 1995. On Fedi since 2008. Working in Racket, Tcl, Python, whatever gets the page up. Solving yesterday's problems tomorrow. A dad. Freddie Mercury is my spiritual advisor.http:\/\/pronoun.is\/heEvery post of mine is an open invitation to advice or information or critique or disagreement. Fire away. If I don't appreciate your contribution, I'll let you know.My soundcloud is http:\/\/hackerpublicradio.org\/correspondents.php?hostid=311 and my patreon is https:\/\/sfconservancy.org\/donate\/ .I don't represent Software Freedom Conservancy in any way, I just like what they do with my money.Unless stated otherwise, all posts CC-by-SA 4.0 International, including any media authored by me included in the posts. Any media from elsewhere whatever terms their author specifies.This is my main account.This is not my final form.","url":"https:\/\/libranet.de\/profile\/clacke","portablecontacts_net":{"preferredUsername":"clacke","displayName":"clacke","note":"Flawesome. GNU\/Linux is my daily driver OS since 1995. On Fedi since 2008. Working in Racket, Tcl, Python, whatever gets the page up. Solving yesterday's problems tomorrow. A dad. Freddie Mercury is my spiritual advisor.http:\/\/pronoun.is\/heEvery post of mine is an open invitation to advice or information or critique or disagreement. Fire away. If I don't appreciate your contribution, I'll let you know.My soundcloud is http:\/\/hackerpublicradio.org\/correspondents.php?hostid=311 and my patreon is https:\/\/sfconservancy.org\/donate\/ .I don't represent Software Freedom Conservancy in any way, I just like what they do with my money.Unless stated otherwise, all posts CC-by-SA 4.0 International, including any media authored by me included in the posts. Any media from elsewhere whatever terms their author specifies.This is my main account.This is not my final form."}},"content":"
archive.adaic.com\/pol-hist\/his\u2026<\/a><\/p>The first 1815A validation certificate was issued for the Ada\/Ed interpreter on 11 April 1983, [ . . . ] By 1987 there were more than 100 validated compilers, and by 1992 this number had grown to about 400. \ud83d\ude2e<\/p> The examples of implementation language given are subsets of ADA and cross-compiling from machines that had ADA, except for that first compiler written in SETL.<\/p>","generator":{"id":"tag:gnusocial.jp,2026-09-02:notice-source:ActivityPub","objectType":"application","status_net":{"source_code":"ActivityPub"}},"id":"https:\/\/libranet.de\/objects\/0b6b25a8-5369-e008-d497-436806653280","object":{"id":"https:\/\/libranet.de\/objects\/0b6b25a8-5369-e008-d497-436806653280","objectType":"note","content":" archive.adaic.com\/pol-hist\/his\u2026<\/a><\/p>The first 1815A validation certificate was issued for the Ada\/Ed interpreter on 11 April 1983, [ . . . ] By 1987 there were more than 100 validated compilers, and by 1992 this number had grown to about 400. \ud83d\ude2e<\/p> The examples of implementation language given are subsets of ADA and cross-compiling from machines that had ADA, except for that first compiler written in SETL.<\/p>","url":"https:\/\/libranet.de\/display\/0b6b25a8-5369-e008-d497-436806653280","status_net":{"notice_id":null},"inReplyTo":{"objectType":"note","id":"https:\/\/libranet.de\/objects\/0b6b25a8-6869-dfee-c3e4-7cd200026931","url":"https:\/\/libranet.de\/display\/0b6b25a8-6869-dfee-c3e4-7cd200026931"}},"to":[{"objectType":"http:\/\/activitystrea.ms\/schema\/1.0\/collection","id":"http:\/\/activityschema.org\/collection\/public"}],"status_net":{"conversation":"tag:gnusocial.jp,2026-04-15:objectType=thread:nonce=ffc6299d729461a6","notice_info":{"local_id":"12499273","source":"ActivityPub"}},"published":"2026-04-24T05:37:21+00:00","provider":{"objectType":"service","displayName":"GNU social JP","url":"https:\/\/gnusocial.jp\/"},"verb":"post","url":"https:\/\/libranet.de\/display\/0b6b25a8-5369-e008-d497-436806653280"},{"actor":{"id":"https:\/\/libranet.de\/profile\/clacke","displayName":"clacke","status_net":{"avatarLinks":[{"url":"https:\/\/gnusocial.jp\/theme\/gnusocialjp\/default-avatar-profile.png","rel":"avatar","type":"image\/png","width":96,"height":96},{"url":"https:\/\/gnusocial.jp\/theme\/gnusocialjp\/default-avatar-stream.png","rel":"avatar","type":"image\/png","width":48,"height":48},{"url":"https:\/\/gnusocial.jp\/theme\/gnusocialjp\/default-avatar-mini.png","rel":"avatar","type":"image\/png","width":24,"height":24}],"profile_info":{"local_id":"4960"}},"image":{"url":"https:\/\/gnusocial.jp\/theme\/gnusocialjp\/default-avatar-profile.png","rel":"avatar","type":"image\/png","width":96,"height":96},"objectType":"person","summary":"Flawesome. GNU\/Linux is my daily driver OS since 1995. On Fedi since 2008. Working in Racket, Tcl, Python, whatever gets the page up. Solving yesterday's problems tomorrow. A dad. Freddie Mercury is my spiritual advisor.http:\/\/pronoun.is\/heEvery post of mine is an open invitation to advice or information or critique or disagreement. Fire away. If I don't appreciate your contribution, I'll let you know.My soundcloud is http:\/\/hackerpublicradio.org\/correspondents.php?hostid=311 and my patreon is https:\/\/sfconservancy.org\/donate\/ .I don't represent Software Freedom Conservancy in any way, I just like what they do with my money.Unless stated otherwise, all posts CC-by-SA 4.0 International, including any media authored by me included in the posts. Any media from elsewhere whatever terms their author specifies.This is my main account.This is not my final form.","url":"https:\/\/libranet.de\/profile\/clacke","portablecontacts_net":{"preferredUsername":"clacke","displayName":"clacke","note":"Flawesome. GNU\/Linux is my daily driver OS since 1995. On Fedi since 2008. Working in Racket, Tcl, Python, whatever gets the page up. Solving yesterday's problems tomorrow. A dad. Freddie Mercury is my spiritual advisor.http:\/\/pronoun.is\/heEvery post of mine is an open invitation to advice or information or critique or disagreement. Fire away. If I don't appreciate your contribution, I'll let you know.My soundcloud is http:\/\/hackerpublicradio.org\/correspondents.php?hostid=311 and my patreon is https:\/\/sfconservancy.org\/donate\/ .I don't represent Software Freedom Conservancy in any way, I just like what they do with my money.Unless stated otherwise, all posts CC-by-SA 4.0 International, including any media authored by me included in the posts. Any media from elsewhere whatever terms their author specifies.This is my main account.This is not my final form."}},"content":"Can't find info on whether GNAT was bootstrapped from Ed\/Ada or something else.","generator":{"id":"tag:gnusocial.jp,2026-09-02:notice-source:ActivityPub","objectType":"application","status_net":{"source_code":"ActivityPub"}},"id":"https:\/\/libranet.de\/objects\/0b6b25a8-2369-e00a-ab4f-a4a736510632","object":{"id":"https:\/\/libranet.de\/objects\/0b6b25a8-2369-e00a-ab4f-a4a736510632","objectType":"note","content":"Can't find info on whether GNAT was bootstrapped from Ed\/Ada or something else.","url":"https:\/\/libranet.de\/display\/0b6b25a8-2369-e00a-ab4f-a4a736510632","status_net":{"notice_id":null},"inReplyTo":{"objectType":"note","id":"https:\/\/libranet.de\/objects\/0b6b25a8-5369-e008-d497-436806653280","url":"https:\/\/libranet.de\/display\/0b6b25a8-5369-e008-d497-436806653280"}},"to":[{"objectType":"http:\/\/activitystrea.ms\/schema\/1.0\/collection","id":"http:\/\/activityschema.org\/collection\/public"}],"status_net":{"conversation":"tag:gnusocial.jp,2026-04-15:objectType=thread:nonce=ffc6299d729461a6","notice_info":{"local_id":"12499274","source":"ActivityPub"}},"published":"2026-04-24T05:37:20+00:00","provider":{"objectType":"service","displayName":"GNU social JP","url":"https:\/\/gnusocial.jp\/"},"verb":"post","url":"https:\/\/libranet.de\/display\/0b6b25a8-2369-e00a-ab4f-a4a736510632"},{"actor":{"id":"https:\/\/mastodon.social\/users\/csb6","displayName":"Cole B.","status_net":{"avatarLinks":[{"url":"https:\/\/gnusocial.jp\/avatar\/389628-original-tmp20260424053715.webp","rel":"avatar","type":"image\/webp","width":400,"height":400},{"url":"https:\/\/gnusocial.jp\/avatar\/389628-96-20260424053715.webp","rel":"avatar","type":"image\/webp","width":96,"height":96},{"url":"https:\/\/gnusocial.jp\/avatar\/389628-48-20260424053715.webp","rel":"avatar","type":"image\/webp","width":48,"height":48},{"url":"https:\/\/gnusocial.jp\/avatar\/389628-24-20260424053715.webp","rel":"avatar","type":"image\/webp","width":24,"height":24}],"profile_info":{"local_id":"389628"}},"image":{"url":"https:\/\/gnusocial.jp\/avatar\/389628-96-20260424053715.webp","rel":"avatar","type":"image\/webp","width":96,"height":96},"objectType":"person","summary":"Programmer interested in formal methods and compilers","url":"https:\/\/mastodon.social\/@csb6","portablecontacts_net":{"preferredUsername":"csb6","displayName":"Cole B.","note":"Programmer interested in formal methods and compilers"}},"content":" @clacke<\/a> Just stumbled across this - GNAT was bootstrapped from a proprietary Ada compiler (from Alsys) until it got to the point where it could self-host. See https:\/\/usenet.ada-lang.io\/comp.lang.ada\/5ee5b646.0202250655.6fd2bfb8@posting.google.com\/<\/a><\/p>","generator":{"id":"tag:gnusocial.jp,2026-09-02:notice-source:ActivityPub","objectType":"application","status_net":{"source_code":"ActivityPub"}},"id":"https:\/\/mastodon.social\/users\/csb6\/statuses\/116449558784488704","object":{"id":"https:\/\/mastodon.social\/users\/csb6\/statuses\/116449558784488704","objectType":"note","content":" @clacke<\/a> Just stumbled across this - GNAT was bootstrapped from a proprietary Ada compiler (from Alsys) until it got to the point where it could self-host. See https:\/\/usenet.ada-lang.io\/comp.lang.ada\/5ee5b646.0202250655.6fd2bfb8@posting.google.com\/<\/a><\/p>","url":"https:\/\/mastodon.social\/@csb6\/116449558784488704","status_net":{"notice_id":null},"inReplyTo":{"objectType":"note","id":"https:\/\/libranet.de\/objects\/0b6b25a8-2369-e00a-ab4f-a4a736510632","url":"https:\/\/libranet.de\/display\/0b6b25a8-2369-e00a-ab4f-a4a736510632"}},"to":[{"objectType":"http:\/\/activitystrea.ms\/schema\/1.0\/person","id":"https:\/\/libranet.de\/profile\/clacke"},{"objectType":"http:\/\/activitystrea.ms\/schema\/1.0\/collection","id":"http:\/\/activityschema.org\/collection\/public"}],"status_net":{"conversation":"tag:gnusocial.jp,2026-04-15:objectType=thread:nonce=ffc6299d729461a6","notice_info":{"local_id":"12499275","source":"ActivityPub"}},"published":"2026-04-24T05:37:19+00:00","provider":{"objectType":"service","displayName":"GNU social JP","url":"https:\/\/gnusocial.jp\/"},"verb":"post","url":"https:\/\/mastodon.social\/@csb6\/116449558784488704"},{"actor":{"id":"https:\/\/libranet.de\/profile\/clacke","displayName":"clacke","status_net":{"avatarLinks":[{"url":"https:\/\/gnusocial.jp\/theme\/gnusocialjp\/default-avatar-profile.png","rel":"avatar","type":"image\/png","width":96,"height":96},{"url":"https:\/\/gnusocial.jp\/theme\/gnusocialjp\/default-avatar-stream.png","rel":"avatar","type":"image\/png","width":48,"height":48},{"url":"https:\/\/gnusocial.jp\/theme\/gnusocialjp\/default-avatar-mini.png","rel":"avatar","type":"image\/png","width":24,"height":24}],"profile_info":{"local_id":"4960"}},"image":{"url":"https:\/\/gnusocial.jp\/theme\/gnusocialjp\/default-avatar-profile.png","rel":"avatar","type":"image\/png","width":96,"height":96},"objectType":"person","summary":"Flawesome. GNU\/Linux is my daily driver OS since 1995. On Fedi since 2008. Working in Racket, Tcl, Python, whatever gets the page up. Solving yesterday's problems tomorrow. A dad. Freddie Mercury is my spiritual advisor.http:\/\/pronoun.is\/heEvery post of mine is an open invitation to advice or information or critique or disagreement. Fire away. If I don't appreciate your contribution, I'll let you know.My soundcloud is http:\/\/hackerpublicradio.org\/correspondents.php?hostid=311 and my patreon is https:\/\/sfconservancy.org\/donate\/ .I don't represent Software Freedom Conservancy in any way, I just like what they do with my money.Unless stated otherwise, all posts CC-by-SA 4.0 International, including any media authored by me included in the posts. Any media from elsewhere whatever terms their author specifies.This is my main account.This is not my final form.","url":"https:\/\/libranet.de\/profile\/clacke","portablecontacts_net":{"preferredUsername":"clacke","displayName":"clacke","note":"Flawesome. GNU\/Linux is my daily driver OS since 1995. On Fedi since 2008. Working in Racket, Tcl, Python, whatever gets the page up. Solving yesterday's problems tomorrow. A dad. Freddie Mercury is my spiritual advisor.http:\/\/pronoun.is\/heEvery post of mine is an open invitation to advice or information or critique or disagreement. Fire away. If I don't appreciate your contribution, I'll let you know.My soundcloud is http:\/\/hackerpublicradio.org\/correspondents.php?hostid=311 and my patreon is https:\/\/sfconservancy.org\/donate\/ .I don't represent Software Freedom Conservancy in any way, I just like what they do with my money.Unless stated otherwise, all posts CC-by-SA 4.0 International, including any media authored by me included in the posts. Any media from elsewhere whatever terms their author specifies.This is my main account.This is not my final form."}},"content":" @csb6<\/a> Also interesting to learn that Alsys Ada itself was bootstrapped from a PL\/I compiler from Ada to PL\/I.<\/p> I suppose PL\/I as a \"ground\" language would have been common in those days in certain circles, before Unix, Windows and Linux made C and C++ completely dominate systems programming.<\/p>","generator":{"id":"tag:gnusocial.jp,2026-09-02:notice-source:ActivityPub","objectType":"application","status_net":{"source_code":"ActivityPub"}},"id":"https:\/\/libranet.de\/objects\/0b6b25a8-2769-e99c-36ef-098687280248","object":{"id":"https:\/\/libranet.de\/objects\/0b6b25a8-2769-e99c-36ef-098687280248","objectType":"note","content":" @csb6<\/a> Also interesting to learn that Alsys Ada itself was bootstrapped from a PL\/I compiler from Ada to PL\/I.<\/p> I suppose PL\/I as a \"ground\" language would have been common in those days in certain circles, before Unix, Windows and Linux made C and C++ completely dominate systems programming.<\/p>","url":"https:\/\/libranet.de\/display\/0b6b25a8-2769-e99c-36ef-098687280248","status_net":{"notice_id":null},"inReplyTo":{"objectType":"note","id":"https:\/\/mastodon.social\/users\/csb6\/statuses\/116449558784488704","url":"https:\/\/mastodon.social\/@csb6\/116449558784488704"}},"to":[{"objectType":"http:\/\/activitystrea.ms\/schema\/1.0\/person","id":"https:\/\/mastodon.social\/users\/csb6"},{"objectType":"http:\/\/activitystrea.ms\/schema\/1.0\/collection","id":"http:\/\/activityschema.org\/collection\/public"}],"status_net":{"conversation":"tag:gnusocial.jp,2026-04-15:objectType=thread:nonce=ffc6299d729461a6","notice_info":{"local_id":"12499276","source":"ActivityPub"}},"published":"2026-04-24T05:37:18+00:00","provider":{"objectType":"service","displayName":"GNU social JP","url":"https:\/\/gnusocial.jp\/"},"verb":"post","url":"https:\/\/libranet.de\/display\/0b6b25a8-2769-e99c-36ef-098687280248"},{"actor":{"id":"https:\/\/libranet.de\/profile\/clacke","displayName":"clacke","status_net":{"avatarLinks":[{"url":"https:\/\/gnusocial.jp\/theme\/gnusocialjp\/default-avatar-profile.png","rel":"avatar","type":"image\/png","width":96,"height":96},{"url":"https:\/\/gnusocial.jp\/theme\/gnusocialjp\/default-avatar-stream.png","rel":"avatar","type":"image\/png","width":48,"height":48},{"url":"https:\/\/gnusocial.jp\/theme\/gnusocialjp\/default-avatar-mini.png","rel":"avatar","type":"image\/png","width":24,"height":24}],"profile_info":{"local_id":"4960"}},"image":{"url":"https:\/\/gnusocial.jp\/theme\/gnusocialjp\/default-avatar-profile.png","rel":"avatar","type":"image\/png","width":96,"height":96},"objectType":"person","summary":"Flawesome. GNU\/Linux is my daily driver OS since 1995. On Fedi since 2008. Working in Racket, Tcl, Python, whatever gets the page up. Solving yesterday's problems tomorrow. A dad. Freddie Mercury is my spiritual advisor.http:\/\/pronoun.is\/heEvery post of mine is an open invitation to advice or information or critique or disagreement. Fire away. If I don't appreciate your contribution, I'll let you know.My soundcloud is http:\/\/hackerpublicradio.org\/correspondents.php?hostid=311 and my patreon is https:\/\/sfconservancy.org\/donate\/ .I don't represent Software Freedom Conservancy in any way, I just like what they do with my money.Unless stated otherwise, all posts CC-by-SA 4.0 International, including any media authored by me included in the posts. Any media from elsewhere whatever terms their author specifies.This is my main account.This is not my final form.","url":"https:\/\/libranet.de\/profile\/clacke","portablecontacts_net":{"preferredUsername":"clacke","displayName":"clacke","note":"Flawesome. GNU\/Linux is my daily driver OS since 1995. On Fedi since 2008. Working in Racket, Tcl, Python, whatever gets the page up. Solving yesterday's problems tomorrow. A dad. Freddie Mercury is my spiritual advisor.http:\/\/pronoun.is\/heEvery post of mine is an open invitation to advice or information or critique or disagreement. Fire away. If I don't appreciate your contribution, I'll let you know.My soundcloud is http:\/\/hackerpublicradio.org\/correspondents.php?hostid=311 and my patreon is https:\/\/sfconservancy.org\/donate\/ .I don't represent Software Freedom Conservancy in any way, I just like what they do with my money.Unless stated otherwise, all posts CC-by-SA 4.0 International, including any media authored by me included in the posts. Any media from elsewhere whatever terms their author specifies.This is my main account.This is not my final form."}},"content":"One person in the usenet thread says they'd prefer Ada to other languages when implementing a compiler, which ties right back to the originating question of this thread, but then they don't mention any language implementation actually bootstrapped from Ada.","generator":{"id":"tag:gnusocial.jp,2026-09-02:notice-source:ActivityPub","objectType":"application","status_net":{"source_code":"ActivityPub"}},"id":"https:\/\/libranet.de\/objects\/0b6b25a8-1969-e99d-8290-12e483204309","object":{"id":"https:\/\/libranet.de\/objects\/0b6b25a8-1969-e99d-8290-12e483204309","objectType":"note","content":"One person in the usenet thread says they'd prefer Ada to other languages when implementing a compiler, which ties right back to the originating question of this thread, but then they don't mention any language implementation actually bootstrapped from Ada.","url":"https:\/\/libranet.de\/display\/0b6b25a8-1969-e99d-8290-12e483204309","status_net":{"notice_id":null},"inReplyTo":{"objectType":"note","id":"https:\/\/libranet.de\/objects\/0b6b25a8-2769-e99c-36ef-098687280248","url":"https:\/\/libranet.de\/display\/0b6b25a8-2769-e99c-36ef-098687280248"}},"to":[{"objectType":"http:\/\/activitystrea.ms\/schema\/1.0\/collection","id":"http:\/\/activityschema.org\/collection\/public"}],"status_net":{"conversation":"tag:gnusocial.jp,2026-04-15:objectType=thread:nonce=ffc6299d729461a6","notice_info":{"local_id":"12499277","source":"ActivityPub"}},"published":"2026-04-24T05:37:17+00:00","provider":{"objectType":"service","displayName":"GNU social JP","url":"https:\/\/gnusocial.jp\/"},"verb":"post","url":"https:\/\/libranet.de\/display\/0b6b25a8-1969-e99d-8290-12e483204309"},{"actor":{"id":"https:\/\/mastodon.social\/users\/csb6","displayName":"Cole B.","status_net":{"avatarLinks":[{"url":"https:\/\/gnusocial.jp\/avatar\/389628-original-tmp20260424053715.webp","rel":"avatar","type":"image\/webp","width":400,"height":400},{"url":"https:\/\/gnusocial.jp\/avatar\/389628-96-20260424053715.webp","rel":"avatar","type":"image\/webp","width":96,"height":96},{"url":"https:\/\/gnusocial.jp\/avatar\/389628-48-20260424053715.webp","rel":"avatar","type":"image\/webp","width":48,"height":48},{"url":"https:\/\/gnusocial.jp\/avatar\/389628-24-20260424053715.webp","rel":"avatar","type":"image\/webp","width":24,"height":24}],"profile_info":{"local_id":"389628"}},"image":{"url":"https:\/\/gnusocial.jp\/avatar\/389628-96-20260424053715.webp","rel":"avatar","type":"image\/webp","width":96,"height":96},"objectType":"person","summary":"Programmer interested in formal methods and compilers","url":"https:\/\/mastodon.social\/@csb6","portablecontacts_net":{"preferredUsername":"csb6","displayName":"Cole B.","note":"Programmer interested in formal methods and compilers"}},"content":" @clacke<\/a> The only example of a real language with its initial implementation written in Ada that I know of is the ParaSail language. (https:\/\/github.com\/parasail-lang\/parasail<\/a>) It was designed by the lead designer of Ada 95 and subsequent Ada standards so no surprise that he picked it. I suspect most language designers use the language they are most familiar with and that is rarely Ada<\/p>","generator":{"id":"tag:gnusocial.jp,2026-09-02:notice-source:ActivityPub","objectType":"application","status_net":{"source_code":"ActivityPub"}},"id":"https:\/\/mastodon.social\/users\/csb6\/statuses\/116452382188819307","object":{"id":"https:\/\/mastodon.social\/users\/csb6\/statuses\/116452382188819307","objectType":"note","content":" @clacke<\/a> The only example of a real language with its initial implementation written in Ada that I know of is the ParaSail language. (https:\/\/github.com\/parasail-lang\/parasail<\/a>) It was designed by the lead designer of Ada 95 and subsequent Ada standards so no surprise that he picked it. I suspect most language designers use the language they are most familiar with and that is rarely Ada<\/p>","url":"https:\/\/mastodon.social\/@csb6\/116452382188819307","status_net":{"notice_id":null},"inReplyTo":{"objectType":"note","id":"https:\/\/libranet.de\/objects\/0b6b25a8-1969-e99d-8290-12e483204309","url":"https:\/\/libranet.de\/display\/0b6b25a8-1969-e99d-8290-12e483204309"}},"to":[{"objectType":"http:\/\/activitystrea.ms\/schema\/1.0\/person","id":"https:\/\/libranet.de\/profile\/clacke"},{"objectType":"http:\/\/activitystrea.ms\/schema\/1.0\/collection","id":"http:\/\/activityschema.org\/collection\/public"}],"status_net":{"conversation":"tag:gnusocial.jp,2026-04-15:objectType=thread:nonce=ffc6299d729461a6","notice_info":{"local_id":"12499278","source":"ActivityPub"}},"published":"2026-04-24T05:37:15+00:00","provider":{"objectType":"service","displayName":"GNU social JP","url":"https:\/\/gnusocial.jp\/"},"verb":"post","url":"https:\/\/mastodon.social\/@csb6\/116452382188819307"},{"actor":{"id":"https:\/\/libranet.de\/profile\/clacke","displayName":"clacke","status_net":{"avatarLinks":[{"url":"https:\/\/gnusocial.jp\/theme\/gnusocialjp\/default-avatar-profile.png","rel":"avatar","type":"image\/png","width":96,"height":96},{"url":"https:\/\/gnusocial.jp\/theme\/gnusocialjp\/default-avatar-stream.png","rel":"avatar","type":"image\/png","width":48,"height":48},{"url":"https:\/\/gnusocial.jp\/theme\/gnusocialjp\/default-avatar-mini.png","rel":"avatar","type":"image\/png","width":24,"height":24}],"profile_info":{"local_id":"4960"}},"image":{"url":"https:\/\/gnusocial.jp\/theme\/gnusocialjp\/default-avatar-profile.png","rel":"avatar","type":"image\/png","width":96,"height":96},"objectType":"person","summary":"Flawesome. GNU\/Linux is my daily driver OS since 1995. On Fedi since 2008. Working in Racket, Tcl, Python, whatever gets the page up. Solving yesterday's problems tomorrow. A dad. Freddie Mercury is my spiritual advisor.http:\/\/pronoun.is\/heEvery post of mine is an open invitation to advice or information or critique or disagreement. Fire away. If I don't appreciate your contribution, I'll let you know.My soundcloud is http:\/\/hackerpublicradio.org\/correspondents.php?hostid=311 and my patreon is https:\/\/sfconservancy.org\/donate\/ .I don't represent Software Freedom Conservancy in any way, I just like what they do with my money.Unless stated otherwise, all posts CC-by-SA 4.0 International, including any media authored by me included in the posts. Any media from elsewhere whatever terms their author specifies.This is my main account.This is not my final form.","url":"https:\/\/libranet.de\/profile\/clacke","portablecontacts_net":{"preferredUsername":"clacke","displayName":"clacke","note":"Flawesome. GNU\/Linux is my daily driver OS since 1995. On Fedi since 2008. Working in Racket, Tcl, Python, whatever gets the page up. Solving yesterday's problems tomorrow. A dad. Freddie Mercury is my spiritual advisor.http:\/\/pronoun.is\/heEvery post of mine is an open invitation to advice or information or critique or disagreement. Fire away. If I don't appreciate your contribution, I'll let you know.My soundcloud is http:\/\/hackerpublicradio.org\/correspondents.php?hostid=311 and my patreon is https:\/\/sfconservancy.org\/donate\/ .I don't represent Software Freedom Conservancy in any way, I just like what they do with my money.Unless stated otherwise, all posts CC-by-SA 4.0 International, including any media authored by me included in the posts. Any media from elsewhere whatever terms their author specifies.This is my main account.This is not my final form."}},"content":" Many programming languages were originally written or are even still partially written in C. Rust was originally written in OCaml.<\/p> Are there any languages that were originally written in Ada?<\/p> #Ada<\/a> #AdaLang<\/a> #AdaLanguage<\/a> #bootstrapping<\/a><\/p>","generator":{"id":"tag:gnusocial.jp,2026-09-02:notice-source:ActivityPub","objectType":"application","status_net":{"source_code":"ActivityPub"}},"id":"https:\/\/libranet.de\/objects\/0b6b25a8-1369-dfd0-fa27-597796695961","object":{"id":"https:\/\/libranet.de\/objects\/0b6b25a8-1369-dfd0-fa27-597796695961","objectType":"note","content":" Many programming languages were originally written or are even still partially written in C. Rust was originally written in OCaml.<\/p> Are there any languages that were originally written in Ada?<\/p> #Ada<\/a> #AdaLang<\/a> #AdaLanguage<\/a> #bootstrapping<\/a><\/p>","url":"https:\/\/libranet.de\/display\/0b6b25a8-1369-dfd0-fa27-597796695961","status_net":{"notice_id":null},"tags":[{"objectType":"http:\/\/activityschema.org\/object\/hashtag","displayName":"adalang"},{"objectType":"http:\/\/activityschema.org\/object\/hashtag","displayName":"adalanguage"},{"objectType":"http:\/\/activityschema.org\/object\/hashtag","displayName":"bootstrapping"}]},"to":[{"objectType":"http:\/\/activitystrea.ms\/schema\/1.0\/collection","id":"http:\/\/activityschema.org\/collection\/public"}],"status_net":{"conversation":"tag:gnusocial.jp,2026-04-15:objectType=thread:nonce=ffc6299d729461a6","notice_info":{"local_id":"12456582","source":"ActivityPub"}},"published":"2026-04-15T21:12:46+00:00","provider":{"objectType":"service","displayName":"GNU social JP","url":"https:\/\/gnusocial.jp\/"},"verb":"post","url":"https:\/\/libranet.de\/display\/0b6b25a8-1369-dfd0-fa27-597796695961"}],"links":[{"url":"https:\/\/gnusocial.jp\/conversation\/6324489","rel":"alternate","type":"text\/html"}]}