3 ms·
I know F#, I know roughly what RISC-V is. Not sure I understand the high level though. Is it that they formalized the instructions set in F# or is it that F# no
by thumbuddy 3y ago
I know F#, I know roughly what RISC-V is. Not sure I understand the high level though. Is it that they formalized the instructions set in F# or is it that F# now can use the formal instruction set to compile programs?
Sorry this isn't my wheelhouse but I am curious.
- mrLSD-dev 3y agoDue to the properties of F# as a functional language, using a pure representation of functions and a strong type system - in this case, this is a formalization of RISC-V ISA (instruction set). Since we don't have side effects for pure functions. As it has a State machine, one fun opportunity is to execute elf-bin files for it for RISC-V architecture. I'm not sure what do you mean "compile programs", because it's not the compiler.
- thumbuddy 3y agoI think the right word would have been 'execute' programs. Not compile. Thanks for explaining.