3 ms·
Will have prolog make easier to implement the type system in a language? ie: I have base language (F#, for example) and wanna implement a new one, I do the type
by mamcx 10y ago
Will have prolog make easier to implement the type system in a language? ie: I have base language (F#, for example) and wanna implement a new one, I do the type system on F#.
If instead I add to the mix prolog, (or a prolog interpreter?) this will help a lot, or not worth the effort?
- pjmlp 10y agoI guess one way would be to use one of the mini kanren variants. http://minikanren.org/ http://minikanren.org/ There is also a F# implementation, https://github.com/palladin/logic https://github.com/palladin/logic