is it possible to completely write a microkernel in lisp?
and how to implement AI in kernels?
does anyone know that?
microkernel written in lisp?
-
ezanahka
RE:microkernel written in lisp?
That depends on the LISP.
AFAIK LISPs don't support interfacing into foreign code that well
and even less when you are talking about writing much hw-oriented
code. I considered writing a kernel in LISP myself some time ago
but came to the conclusion that you would first have to write your
own LISP to be able to do that. It's not that easy to write your
own LISP. That's what turned me off...
AI in the kernel? The problem is that it would probably make your
kernel very complex as if they aren't that already. I have dreamed
about a smart kernel based on some sort of AI myself but then again
we humans can't write code that is both reliable and secure if it
is complex.
My opinion is that if you want LISP and AI in your OS and want to
use the microkernel approach then you should first code a standard
microkernel with an extra interface for the AI and then write the AI
as a separate module.
- Esa
AFAIK LISPs don't support interfacing into foreign code that well
and even less when you are talking about writing much hw-oriented
code. I considered writing a kernel in LISP myself some time ago
but came to the conclusion that you would first have to write your
own LISP to be able to do that. It's not that easy to write your
own LISP. That's what turned me off...
AI in the kernel? The problem is that it would probably make your
kernel very complex as if they aren't that already. I have dreamed
about a smart kernel based on some sort of AI myself but then again
we humans can't write code that is both reliable and secure if it
is complex.
My opinion is that if you want LISP and AI in your OS and want to
use the microkernel approach then you should first code a standard
microkernel with an extra interface for the AI and then write the AI
as a separate module.
- Esa
-
rexlunae
RE:microkernel written in lisp?
Ideally, the kernel, especially a microkernel, does not actually do much but service interrupts and handle simple system calls. If you have enough logic that lisp would be handy, you might consider not calling it a microkernel at the very least. I think AI belongs entirely in userland, so that the system can be protected from complex code and the larger number of bugs that complex code is likely to yield. Even if I were going to implement an OS tuned for AI, I would probably write the kernel in an imperitive programming language like C. Additionally, if you were to write a kernel in lisp, you would have to write a custom lisp interpretter or compiler first.