Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers.
We don’t allow questions seeking recommendations for books, tools, software libraries, and more. You can edit the question so it can be answered with facts and citations.
Closed 5 years ago.
Improve this question
In the process of converting the OCaml Format module to F# I find that I need to understand the initialization process in detail. For F# this is explained in section 12.5 Program Execution of the F# spec. While the OCaml documentation page list several good documents, I am unable to find any document that gives the same level of detail as found in the F# spec.
Are there any documents that give the corresponding level of detail for OCaml initialization?
In short, is there a specification manual for OCaml like the one for F#? No
I spent an hour today looking and still could not find one. I goggled, check some OCaml mailing list and looked over all of the documents from the OCaml site. Others in an OCaml mailing list also noted the lack of an OCaml specification manual.
As always with these no answers, if someone does answer here with a reference to the OCaml spec manual like the one for F# then I will gladly give them the accept vote.
I can't offer any information about OCaml module initialization, but I did port the Format module to F# as part of my FSharp.Compatibility project. If you want to have a look, it's available here:
https://github.com/jack-pappas/FSharp.Compatibility/tree/master/FSharp.Compatibility.OCaml.Format
Related
Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers.
We don’t allow questions seeking recommendations for books, tools, software libraries, and more. You can edit the question so it can be answered with facts and citations.
Closed 1 year ago.
Improve this question
I am trying to build a string theory solver and one of the ideas that came up was to write the code inside the z3 prover but that requires understanding the whole z3 code, I am wondering if there is a tutorial on how to do that? I have checked thoroughly but I don't seem to find anything.
You can't really integrate a custom theory with z3 without getting more or less intimately familiar with the internals, and unfortunately this process isn't all that well documented. This is hardly surprising: Z3 is a big and a research(-y) project and there are many moving parts.
Having said that, see the stack-overflow question on prior advice from Nikolaj, who is the main author of z3: SMT solver with custom theories?
This resource is a nice write-up about how to understand theory solvers are architected: http://theory.stanford.edu/~nikolaj/z3navigate.html
No matter which path you go, you'll have a lot of questions. The best place to ask them would be the "discussions" forum of the z3 GitHub site: https://github.com/Z3Prover/z3/discussions
Best of luck!
Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers.
We don’t allow questions seeking recommendations for books, tools, software libraries, and more. You can edit the question so it can be answered with facts and citations.
Closed 1 year ago.
Improve this question
I played around with Z3 after reading the excellent tutorial at https://www.rise4fun.com/Z3/tutorial. But now I would like to get an overview over all commands available in Z3's dialect of SMTLIB2.
Unfortunately I only found reference manuals for the different languages bindings, but not for SMTLIB2 itself.
You can read all about SMTLib in http://smtlib.cs.uiowa.edu/
In particular, the document http://smtlib.cs.uiowa.edu/papers/smt-lib-reference-v2.6-r2017-07-18.pdf is the "official" document on all SMTLib commands.
For logics, you want to browse: http://smtlib.cs.uiowa.edu/logics.shtml
Now, this document is not Z3 specific. But to a large extent, it captures all the SMT commands/logics supported by Z3, and Z3 is one of the most "compliant" solvers out there in terms of implementing the specs. There are a few differences of course: For instance, the spec never talks about optimization and Z3 does support that, likewise for set operations and a few other "extras." As Malte pointed out the documentation for these are available, but maybe not easy to navigate. My favorite links are:
https://ericpony.github.io/z3py-tutorial/guide-examples.htm (Python specific, but also tons of info on Z3 features.)
Programming in Z3: https://theory.stanford.edu/~nikolaj/programmingz3.html This is a wonderful document detailing how z3 works internally with most of its features demonstrated. Again, it uses Python, but for the most part you can find the corresponding commands in SMTLib more or less directly.
API documentation in various languages: https://z3prover.github.io/api/html/index.html Eventually you'll need these as you get to program z3; but you can keep this as a "reference" only for later use.
If there is a specific piece of info you're looking for that's not covered in one of these documents, then that's what this forum is for! Best of luck..
I'm not aware of any such reference manual, browsing the source code is probably your best option currently.
I might of course be wrong regarding the existence of such a manual, but the fact that questions regarding Z3's SMT-LIB dialect are often asked via the Z3 issue tracker (e.g.#4549, #4536, #4460), suggests that there is no reference manual. The developers' responses also do not hint at any such manual.
Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers.
We don’t allow questions seeking recommendations for books, tools, software libraries, and more. You can edit the question so it can be answered with facts and citations.
Closed 5 years ago.
Improve this question
I've found several posts on hubFS of people asking if there is, or will be, offline documentation for F#. These posts haven't been answered. So I want to give it a shot and ask the same question here on SO.
Where I've looked for offline documentation so far:
The April 2010 CTP release of Visual F# (version 2.0) is available for VS 2008, but it comes without an offline help.
There's a question on SO about offline documentation for various programming languages, but F# isn't mentioned there at the time of this writing.
There is of course Microsoft's F# language reference documentation (available on MSDN), which could be downloaded for offline browsing using e.g. wget.
Question:
Does anyone know whether any "official" offline documentation is on the way, anytime soon?
(And related to this, even tough it might be hard to answer objectively: Would it be reasonable to expect that F# won't undergo ECMA or ISO standardization, ie. there likely won't be a standards document describing the language?)
Doesn't directly answer the question but the F# language specifications are here:
F# 3.0 (PDF, HTML)
F# 2.0 (PDF, HTML)
These links are taken from the F# team blog post "Updated F# Language Specification for F# 3.0 Now Available".
Apparently, it is now: https://github.com/Microsoft/visualfsharpdocs
I'm hoping this will easily convert to a Dash docset or that there's some local-hosting solution for snappy offline indexing and search.
Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers.
We don’t allow questions seeking recommendations for books, tools, software libraries, and more. You can edit the question so it can be answered with facts and citations.
Closed 4 years ago.
Improve this question
I need a simple parser generator. The language does not matter. It only has to be easy and well documented.
Have you looked at ANTLR?
I found SableCC for Java pretty easy to use, back in the days of my compiler construction classes. A tutorial is here.
Edit: Those days were a few years back. Looking at the other answers, you might be better off with ANTLR. I'll let the votes decide!
You're definitely going to want to take a look at ANTLR. It's not only well-documented but is considered one of the de-facto utilities for language designers.
If you want to work in Visual Studio and possibly use C#, look at MPPG from Microsoft, part of the Managed Language Services SDK.
http://msdn.microsoft.com/en-us/library/bb165963(VS.80).aspx
I'm fond of bison, also known as yacc. It's not terribly hard, but it requires knowing C.
If you are more a Perl person, Parse::RecDescent is not difficult either.
Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers.
We don’t allow questions seeking recommendations for books, tools, software libraries, and more. You can edit the question so it can be answered with facts and citations.
Closed 6 years ago.
Improve this question
Are there any YAML parsers or YAML Serialization libs in Delphi?
I have recently started a Delphi-YAML project on BitBucket:
https://bitbucket.org/OCTAGRAM/delphi-yaml
At least, I've got something running, but there are many tests missing and there are probably many bugs hiding.
I don't know about a full YAML implementation, but JSON (a subset) is getting pretty popular and there are even some Delphi libraries listed on the JSON site. Delphi 2009 is even using (a slightly modified version of?) JSON in DataSnap.
http://sourceforge.net/projects/lkjson
http://www.progdigy.com/?page_id=6
http://sourceforge.net/projects/is-webstart/
May be it is high time to implement a YAML parser in Delphi...
Copy code from PyYAML (but Python is a dynamically typed language)
Or take a look at SnakeYAML which is written in a statically typed language (Java)
Free Pascal also has some json libs.
I garbled up something like this to interface with PHP once. Here is the code:
http://www.stack.nl/~marcov/phpser.zip
Note that it is more proof of concept than an usable lib.
This open source C# YAML parser looks like it could be a starting point for a Delphi implementation:
YamlDotNet - A .NET library for parsing and emitting YAML