ptrott2017

7 дней назадdiscuss

StandardML is a rather nice modular high level functional programming language with algebraic datatypes, pattern matching, compile-time type checking and type inference etc. Poly/ML extends this with strong proven multi-core and cross platform support including Posix threads, parallel garbage collection, FFI etc. Poly/ML has been around a while, but it is still actively maintained by Dave Mathews et al (most recent release June 2026) has good windows and X11 support. Poly/ML is a great way to explore the world of StandardML and is used to build Isabelle and HOL theorem provers. Definitely worth a look!

ptrott2017

в прошлом месяцеdiscuss

Not eries (obviously) but if you switch out shareholder for stakeholder i.e. maximise stakeholder value, you gain a wider set of responsibilities more aligned with Eric's comment. This is in itself not a new idea, it partly emerged out of the work of R. Edward Freeman. His original book on stakeholder management was published in 1984 and over the last decade has become at least a regular discussion topic at many business schools. However, the idea needs to gain far more momentum. Hopeful Eric Reis's new book also helps move the discussions forward - looking forward to reading it.

ptrott2017

2 месяца назадdiscuss

@atomicnature - thank you for posting this. I saw the title and wondered if it was books on lean startups or lean manufacturing, very happy to find a collection of links to books on the Lean programming language (and the rest of the site is well worth a read). This made my morning!

ptrott2017

2 месяца назадdiscuss

Valid concern which should not be downvoted. For some this will be too early to garner interest or confidence. For others, especially those interested in the Pascal language family or building a compiled language with QBE, there is a lot of things in this project that justify taking a close look. (Not least of all, Graeme's proven track record in the Pascal community). Glad the project is getting some deserved attention and looking forward to seeing how it evolves.

ptrott2017

2 месяца назадdiscuss

You can use Lazarus from a C interface - via liblcl. There are bindings for Go and Nim that use this method. Given the QBE backend, this may be one possible route for Blaise but needs investigation.

ptrott2017

8 лет назадdiscuss

Github: https://github.com/janestreet/hardcaml

And Andy Ray and co's stuff:

Blogs: http://www.ujamjar.com/

Getting started overview and tutorials: http://www.ujamjar.com/hardcaml/

Running OCAML Bytecode in hardware: https://github.com/ujamjar/hardcaml-zinc

comments