Difference between revisions of "Talk:KOS"

From APL Wiki
Jump to navigation Jump to search
(Created page with "Is kOS actually written in K? ~~~")
 
Line 1: Line 1:
 
Is kOS actually written in K? [[User:Adám Brudzewsky|Adám Brudzewsky]] ([[User talk:Adám Brudzewsky|talk]])
 
Is kOS actually written in K? [[User:Adám Brudzewsky|Adám Brudzewsky]] ([[User talk:Adám Brudzewsky|talk]])
 +
:It is my understanding that the user-level programs are in K. For example, [http://www.kparc.com/edit.k this] is the text editor. However, the kOS "kernel" is C; Geo Carncross seems to [https://news.ycombinator.com/item?id=8476238 say so in this HN comment].  [[User:Matt|Matt]] ([[User talk:Matt|talk]]) 15:43, 10 February 2020 (UTC)

Revision as of 15:43, 10 February 2020

Is kOS actually written in K? Adám Brudzewsky (talk)

It is my understanding that the user-level programs are in K. For example, this is the text editor. However, the kOS "kernel" is C; Geo Carncross seems to say so in this HN comment. Matt (talk) 15:43, 10 February 2020 (UTC)