haskell - how to compile category code with ML compiler? -

-

find there many ml compilers not know compiler suitable these code, , not know how compile it

and find haskell has operads package suitable usage of category possible translate haskell?

cs.man.ac.uk/~david/categories/programs/cat

when compile ocaml, got error

# #use "c:/documents , settings/wilson/my documents/downloads/ml/cat.ml";; file "c:/documents , settings/wilson/my documents/downloads/ml/cat.ml", line 20, characters 13-14: error: syntax error: operator expected. # #use "c:/documents , settings/wilson/my documents/downloads/ml/functorcat.ml";; file "c:/documents , settings/wilson/my documents/downloads/ml/functorcat.ml", line 12, characters 13-14: error: syntax error: operator expected. # #use "c:/documents , settings/wilson/my documents/downloads/ml/basic.ml";; file "c:/documents , settings/wilson/my documents/downloads/ml/basic.ml", line 7, characters 15-16: error: syntax error

the link posted incorrect, file can found here.

it says language right in header

(*                computational category theory                            oct. 1987                programming language: standard ml    *)

so need standard ml (sml) compiler. need 1 that's compatible code written on 25 years ago - guess mine whether modern sml compiler able compile code.


Comments

Post a Comment

Popular posts from this blog

python - Subclassed QStyledItemDelegate ignores Stylesheet -

-
i'm trying subclass qstyleditemdelegate remove focus rectangle in qcombobox . even though i'm calling base implementation of paint function , nothing else, result different. looks if parts of style-sheet influence bounding box of item taken consideration. class pstyleditemdelegate(qstyleditemdelegate): def __init__(self, *args, **kwds): super(pstyleditemdelegate, self).__init__(*args, **kwds) def paint(self, *args, **kwargs): qstyleditemdelegate.paint(*args, **kwargs) what have paint unmodified qstyleditemdelegate ? as suggested tried replacing pyside pyqt4 , works, appears bug. update pyside 1.1.2 1.2.1 result same. unfortunately switch breaks other parts of code, if there no other suggestions i'm going accept answer. edit bug tracked here
Read more

java - HttpClient 3.1 Connection pooling vs HttpClient 4.3.2 -

-
i have used httpclient3.1(java) connection pooling below : import org.apache.commons.httpclient.httpclient; import org.apache.commons.httpclient.multithreadedhttpconnectionmanager; import org.apache.commons.httpclient.params.httpclientparams; import org.apache.commons.httpclient.params.httpmethodparams; import org.apache.log4j.logger; public class httpclientmanager { private static logger logger = logger.getlogger(httpclientmanager.class); private static multithreadedhttpconnectionmanager connectionmanager = new multithreadedhttpconnectionmanager(); private static httpclientparams clientparams = new httpclientparams(); static { try { clientparams.makelenient(); clientparams.setauthenticationpreemptive(false); clientparams.setparameter(httpmethodparams.so_timeout, new integer(30000)); // set so_timeout clientparams.setparameter(httpmethodparams.head_body_check_timeout, new integer(3000)); // head responses ...
Read more

node.js - StackOverflow API not returning JSON -

-
i using node.js script gather data stackoverflow. know responses gzipped, put code in should take care of that. script follows: var request = require('request'); var zlib = require('zlib'); function getstackoverflowresponse(url, callback){ request(url, {encoding: null}, function(err, response, body){ if(response.headers['content-encoding'] == 'gzip'){ zlib.gunzip(body, function(err, dezipped) { callback(dezipped); }); } else { callback(body); } }); } var url = "https://api.stackexchange.com/docs/questions#pagesize=2&order=desc&min=2014-01-04&max=2014-02-02&sort=activity&tagged=apigee&filter=default&site=stackoverflow&run=true"; getstackoverflowresponse(url, function(questions) { console.log(questions); }); instead of getting json output, i'm getting following response: buffer 0d 0a 0d 0a 0d 0a 0d 0a 3c 21 44 4f 43 54 59 50 45 20 48...
Read more