2021-09-02 03:08:06 <Croran      > anyone have experience building a UEFI compatible Forth 'OS'?
2021-09-02 03:08:53 <Croran      > as in, a forth interpreter that boots without the need for a parent OS
2021-09-02 10:40:15 <remexre     > Croran: one that boots from GRUB, sure; doing one that's UEFI-bootable is... less interesting to me, because I don't want to learn abt PE files
2021-09-02 10:41:39 <inky        > people, which is the mostly used forth compiler on unix? is it gforth?
2021-09-02 10:42:17 <inky        > i have read somewhere (may be in thinking forth?) that there was an old paper in 70ies that described how to add modules to forth compiler, and it required only three lines of code.
2021-09-02 10:42:27 <inky        > does gforth support modules? is there a compiler that supports?
2021-09-02 10:42:45 <f-a         > well gforth comes with many distributions, so I guess many people use it. But on soc etc. ofc they use others or even roll their own
2021-09-02 10:42:50 <f-a         > gforth *does* support modules
2021-09-02 10:44:31 <inky        > i have this opened https://www.complang.tuwien.ac.at/forth/gforth/Docs-html/Tutorial.html and... are modules described there?
2021-09-02 10:46:08 <f-a         > https://www.complang.tuwien.ac.at/forth/gforth/Docs-html/Forth-source-files.html this is what you want
2021-09-02 10:46:23 <f-a         > `require`
2021-09-02 10:48:41 <inky        > thaanks!
2021-09-02 12:02:25 <inky        > other question. objects on the stack have their types? i understand that classic forth has no type safety.
2021-09-02 12:02:31 <inky        > but what about gforth?
2021-09-02 12:03:24 <f-a         > they have no type inky
2021-09-02 12:03:28 <f-a         > you get garbage
2021-09-02 12:03:44 <f-a         > I repeat
2021-09-02 12:03:47 <f-a         >          f-a they have no type inky
2021-09-02 12:03:47 <f-a         >          f-a you get garbage
2021-09-02 12:04:04 <inky        > (((:
2021-09-02 12:06:25 <inky        > we loose efficiency right? with type safety.
2021-09-02 12:06:44 <inky        > if i understand it, forth compiler can do real 'push' that is a cpu command.
2021-09-02 12:06:51 <f-a         > and some simplicity which is the allure of forth, imho
2021-09-02 12:06:52 <inky        > otherwise if the object on the stack has the type
2021-09-02 12:07:40 <inky        > then we need to store a struct with type tag probably.
2021-09-02 13:46:02 <tangentstorm> if you want type safety, there is https://kittenlang.org/
2021-09-02 13:48:12 <Croran      > remexre: so if you use GRUB, you don't need to deal with PE files?
2021-09-02 13:48:35 <remexre     > correct, grub can boot w/ multiboot2
2021-09-02 14:18:09 <Croran      > remexre: huh. I want a UEFI forth that you can use as a drop-in UEFI shell.
2021-09-02 14:18:52 <remexre     > mayyyyybe you can glue grub to it tightly, but probably not
2021-09-02 15:03:18 <crc         > Croran: perhaps https://github.com/c2d7fa/jonasforth ?
2021-09-02 16:07:25 <Croran      > crc: nice. i wonder if there's a way to sign it to make it work in secure boot.