doublec

10 ms·

91.
by doublec 10y ago
And an example of a Prolog web application would be Swish, the online prolog IDE: http://swish.swi-prolog.org/
92.
by doublec 10y ago
It is a bit obscure. I let it build the ones it wants to build by default. This gives me the flexibility of deciding later when building Mercury programs what I want as a backend. This blog post describes some of them: https://ad
93.
by doublec 10y ago
You can create symbols that persist to an external database file when you call 'commit' or rollback changes with 'rollback'.
94.
by doublec 10y ago
There's a BSD licensed open source version, all linked from http://shenlanguage.org/download_form.html That's what I used for my post. There's "Shen Professional" which is a closed source subscripti
95.
by doublec 10y ago
Mercury is another programming language that combines Prolog plus functional programming that probably doesn't get as much attention as it deserves https://mercurylang.org/
96.
by doublec 10y ago
A system written using SWI Prolog is apparently used in a large number of NZ stock exchange trades https://dtai.cs.kuleuven.be/CHR/files/Elston_SecuritEase.pdf
97.
by doublec 10y ago
It's popular to embed a prolog in Lisp languages. For example Picolisp and Shen. I wrote a post comparing Shen's Prolog support to SWI Prolog recently: https://bluishcoder.co.nz/2016/08/30/kicking-th
98.
by doublec 10y ago
I like this one too as an example of what can be done to make a C FFI safe: https://bluishcoder.co.nz/2012/08/30/safer-handling-of-c-mem... You end up with a definition that checks at compile time that: * We
99.
by doublec 10y ago
There's a thread here from a previous discussion: https://news.ycombinator.com/item?id=9483071 One nice thing about the Pony GC is it can GC actors that are waiting for messages but will never receive one. In some othe
100.
by doublec 10y ago
I've used it in a few personal projects. I've written some thing about it here: https://bluishcoder.co.nz/tags/pony/ The two major things that I stumbled on when I first started using Pony was that there
101.
by doublec 10y ago
How does Opa compare to Urweb? Both seem to have an ML-style influence http://www.impredicative.com/ur/
102.
by doublec 10y ago
It's possible for an attacker to intercept the SMS based 2FA http://news.softpedia.com/news/ss7-attack-leaves-whatsapp-an...
103.
by doublec 10y ago
I use Pony a bit, and wrote some things here: https://bluishcoder.co.nz/tags/pony/ My list of catches would be: * Reference capabilities take a while to grasp. No more than Rust's borrowing or ATS viewtypes t
104.
by doublec 10y ago
Dylan [1] has a very similar type system to Stanza and has been around for a while. Stanza looks a lot like what a modern incarnation of Dylan would look like. [1] http://opendylan.org/
105.
by doublec 10y ago
> A tiny app written by McAfee’s team was downloaded onto two brand new Android phones which were used for the message exchange. Does this mean they installed malware on the devices before the messages were exchanged?
106.
by doublec 10y ago
This is a similar argument used by users of languages like J, K and APL. The language is small and concise - rather than learn libraries or frameworks you use the primitives and the emphasis is on the data being manipulated. Common patterns
107.
by doublec 10y ago
Decentralized microblogging using Sone, the twitter-like system on Freenet. Freemail, the encrypted email system. FMS, the forums. I also use the distributed data store for storing data. Basically anything you'd use IPFS for but more a
108.
by doublec 11y ago
I think 'Ajax' killed continuation based web servers. See Avi Bryant's thoughts in this area from back then: https://web.archive.org/web/20060610180033/http://smallthoug... There were clie
109.
by doublec 11y ago
It uses continuations to hide the asynchronous nature of web requests and allows the flow between pages of a web app to be written in an imperative style. "Inverting back the inversion of control" describes the idea (in Scheme) h
110.
by doublec 11y ago
There were about ten NZ Mozilla employees when I worked there a year ago. Not all at the Auckland office but there were plenty there to keep the office utilized at the time.
111.
by doublec 11y ago
There's a port of ATS programming language for the ESP8266. There's some slides on it here: http://www.slideshare.net/master_q/safer-iot-using-functiona... ATS is a functional programming language that does n
112.
by doublec 11y ago
There's a subreddit for constructed languages: https://www.reddit.com/r/conlangs/
113.
by doublec 11y ago
I hadn't noticed the original page had gone down. It was up a few days ago so hopefully it's only a temporary thing. I've used Alice ML on a couple of projects for a while and didn't want to see it die so I got permissio
114.
by doublec 11y ago
Alice ML works on Mac OS X as well, although there was a build issue with "Resource temporary unavailable" that I had to work around. Build instructions are in the README: https://github.com/aliceml/aliceml
115.
by doublec 11y ago
I wrote some posts on using ATS and interfacing with C if you want to dig further into it https://bluishcoder.co.nz/tags/ats/
116.
by doublec 11y ago
There's some benchmarking of simple fib type things here [1]. [1] https://cdn.rawgit.com/darach/my_little_pony/master/my-littl...
117.
by doublec 11y ago
I've not had to do anything distributed with ATS that involved sharing data. I mostly used zeromq to send information around and controlled access to resources via processes. It's a fairly steep learning curve for people new to ty
118.
by doublec 11y ago
I can only speak as a user of linear types, not as a type theorist. They are extremely useful in practice. In ATS they enable not just tracking memory but any form of resource that needs to be cleaned up. If you fail to do so you get a comp
119.
by doublec 11y ago
I have some posts on my experiences of using ATS here http://bluishcoder.co.nz/tags/ats/ They're for the previous version of ATS but are still pretty relevant.
120.
by doublec 11y ago
Yes.

More ›