This will be very interesting. LLM/ChatGPT is based on stochastic approach to NLP while the alternative e.g. Typed Feature Grammar (TFG) is based on determinis

This will be very interesting. LLM/ChatGPT is based on stochastic approach to NLP while the alternative e.g. Typed Feature Grammar (TFG) is based on deterministic approach [1]. Apparently Cuelang is based on the latter and since it's a constraint based language you can use it against the prompt (input) and also for checking the output as well [2],[3]. What it means is that LLM/ChatGPT and TFG/Cuelang can be used in concert to produce or generate codes by well crafted prompt based on the language spec and similarly also to debug based on the spec. This will probably change and enhance the discipline of software engineering as we know it for the better. [1]Feature (linguistics): https://en.wikipedia.org/wiki/Feature_(linguistics) https://en.wikipedia.org/wiki/Feature_(linguistics) [2]The CUE Data Constraint Language: https://cuelang.org/ https://cuelang.org/ https://github.com/cue-lang/cue https://github.com/cue-lang/cue [3]Show HN: GPT-JSON – Structured and typehinted GPT responses in Python: https://news.ycombinator.com/item?id=35821748 https://news.ycombinator.com/item?id=35821748