Remember me

Register  |   Lost password?


Introduction to QuantLib Development - Intensive 3-day Training Course - September 10-12th, 2018 - Download Registration Form Here

 
Bookmark & Share

Publication Name: substructural: Programming and the Markets

Brief description: Musings on software infrastructure, programming language type systems, investments, and markets

Publication URL: http://substructural.blogspot.com/

RSS Feed: link

Twitter Page:

Joined: January 22nd, 2012

Activity

substructural: Programming and the Markets has joined MoneyScience (1993 days ago)

substructural: Programming and the Markets wrote a new blog post titled What is the ML Module System?, Part 1

Browsing through the heated Scala mail list discussion from 2009 on OOP versus functional programming, I ran into a number of messages which indicate some confusion as to the role and mechanism of the ML module system. The natural question that was raised is how is a module system different from a "low-level" object system. I am not entirely sure what a "low-level" object system is but in this post I would like to compare and contrast the ML module system and object systems, principally class-based object system but also classless object systems. First, what role do these...
(2421 days ago)

substructural: Programming and the Markets wrote a new blog post titled Formal Semantics for Top 5 Programming Languages

A recent blog post on undefined behavior in C got me thinking. Being from the ML community, I have a certain appreciation for rigorous formal semantics that can be machine checked. Though the machine checked part is largely a new development, rigorous formal semantics has been with us for decades. Standard ML is the epitome of this approach to language design. The 48-page (128-pp total when including appendices and TOC/index) The Definition of Standard ML - Revised formally specifies the entirety of the language1. Don't get me wrong. The Standard isn't perfect. Indeed, it has some...
(2429 days ago)

About:

Musings on software infrastructure, programming language type systems, investments, and markets