Alternatives to Lua as an embedded language?

I am working on an embedded system running Linux on a DSP. Now we want to make some parts of it scriptable and we are looking for a nice embeddable scripting language. These scripts should integrate nicely with our existing C++ code base, be small and fast. I understand that Lua is the industry choice … Read more

Difference between static and dynamic programming languages

What is the different between static and dynamic programming languages? I know that it is all about type systems but I’m looking for more clear clarifications. Answer Static Typing Static typing means that types are known and checked for correctness before running your program. This is often done by the language’s compiler. For example, the … Read more

Specification for a Functional Reactive Programming language

I am looking at messing around with creating a functional reactive framework at some point. I have read quite a lot about it and seen a few examples but I wanted to get a clear idea of what this framework would HAVE to do to be considered an FRP extension/dsl. I’m not really concerned with … Read more

Programming languages that compile into C/C++ source? [closed]

As it currently stands, this question is not a good fit for our Q&A format. We expect answers to be supported by facts, references, or expertise, but this question will likely solicit debate, arguments, polling, or extended discussion. If you feel that this question can be improved and possibly reopened, visit the help center for … Read more

What is the first character in the sort order used by Windows Explorer?

For example, in a Windows folder, if we create some files and name them 1.html, 2.txt, 3.txt, photo.jpg, zen.png the order will be as is. But if we create another file with the name _file.doc it will be placed at the top. (considering we sort by name in descending order) likewise, what would be the … Read more

What is a ‘thunk’, as used in Scheme or in general?

I come across the word ‘thunk’ at a lot of places in code and documentation related to Scheme, and similar territories. I am guessing that it is a generic name for a procedure, which has a single formal argument. Is that correct? If yes, is there more to it? If no, please? For eg. in … Read more

What are the practical limitations of a non-turing complete language like Coq?

As there are non-Turing complete languages out there, and given I didn’t study Comp Sci at university, could someone explain something that a Turing-incomplete language (like Coq) cannot do? Or is the completeness/incompleteness of no real practical interest (i.e. does it not make much difference in practice)? EDIT – I’m looking for an answer along … Read more