twistedsquare.com

chplib.wordpress.com

Parallel Composition in Haskell | Communicating Haskell Processes

https://chplib.wordpress.com/2011/06/02/parallel-composition-in-haskell

Message-Passing Concurrency for Haskell using the CHP library, and other Haskell explorations. Parallel Composition in Haskell. Parallel Composition in Haskell. June 2, 2011. CHP, my Haskell concurrency library, allows you to run processes in parallel. One way of doing so is this binary operator:. CHP a - CHP b - CHP (a, b). Informally, the behaviour is as follows: this starts both processes running (using Haskell’s. Properties of Parallel Composition. Should be the same as. Do (x, (y, z) - p (q r).

chplib.wordpress.com

Poison: Concurrent Termination | Communicating Haskell Processes

https://chplib.wordpress.com/2009/09/30/poison-concurrent-termination

Message-Passing Concurrency for Haskell using the CHP library, and other Haskell explorations. September 30, 2009. Tidying up all such externalities. Sequential imperative programs often deal with this via exception handlers — the termination becomes an exception that unwinds the call stack, tidying up all current work (call-stack entries) until it reaches the top of the program. Haskell’s error monads can provide similar functionality. Concurrency introduces two issues that can make termination much mor...

frmb.org

into the wibble [contributing]

http://www.frmb.org/contrib.html

Contributing to the Programming Effort. I spend a good proportion of my time developing free software, or rather, practically all of the programming I do is for free software. Occasionally, something useful actually appears! Is a good example. KRoC/Linux. Is free software, but much of its development was sort of funded (PhD studentship, thanks EPSRC. Since September 2002 I've sort of been developing it for free, but that's ok, I enjoy hacking/programming. Kindly sent me ` Taxi 2.

cs.kent.ac.uk

Communicating Haskell Processes

https://www.cs.kent.ac.uk/projects/ofa/chp

CHP: Communicating Haskell Processes. Process-Oriented Concurrency for Haskell. CHP and CHP-Plus are Haskell libraries featuring a concurrency model inspired by CSP. Communicating Sequential Processes, hence the name), and all its various renderings in occam-pi, JCSP, C CSP2, etc. The concurrency is built around encapsulated processes, without any shared data, that interact via barriers and one-way typed synchronous channels. The tutorial. Is probably the best place to start. There is also a CHP blog.

academiccomputing.wordpress.com

Thoughts on F Sharp | Academic Computing

https://academiccomputing.wordpress.com/2015/07/29/thoughts-on-f-sharp

Better Mathematics Through Types →. July 29, 2015 · 4:39 pm. Thoughts on F Sharp. F# is an attempt to bring a functional programming language (based on ML) to the .NET framework. It seems to have Microsoft blessing, with support out of the box in Visual Studio 2015 (now free for personal use). I thought I’d give some initial impressions of the language, mainly coming from a Haskell perspective. I am happy to be corrected, as I’m still quite new to the language. Type MyClass2 = let readOnlyPrivateValue = ...

snoyberg.wordpress.com

String-like | Michael Snoyman’s programming thoughts

https://snoyberg.wordpress.com/2009/12/04/string-like

Michael Snoyman’s programming thoughts. Haskell and web programming, mostly. Laquo; From Dreamhost to NearlyFreeSpeech.net. While working on a type-safe method for embedding HTML fragments. I was reminded of some of my annoyances with my web-encodings package. In particular, I hated how I was doing all of these automatic conversions from and to lazy bytestrings, strict bytestrings and strings (ie [Char]). It’s always caused me a few headaches:. I know that I’m needlessly wasting cycles. I could obviously...

cszero.wordpress.com

Computer Science to be offered in Irish secondary curriculum by 2019 – CS0

https://cszero.wordpress.com/2016/12/09/computer-science-to-be-offered-in-irish-secondary-curriculum-by-2019

A blog on Computer (Science (Education (Research) ). Other CS Ed Blogs. Computer Science to be offered in Irish secondary curriculum by 2019. December 9, 2016. According to RTE news. The Irish Minister for Education has said that Computer Science, including programming, will be a Leaving Certificate. Level 8 (honours) undergraduate degrees, and the CAO. The UK’s computing curriculum. As part of the UK National Curriculum. And colleagues document in this ACM Transactions on Computing Education paper.

lists.rmox.net

into the wibble [contributing]

http://lists.rmox.net/contrib.html

Contributing to the Programming Effort. I spend a good proportion of my time developing free software, or rather, practically all of the programming I do is for free software. Occasionally, something useful actually appears! Is a good example. KRoC/Linux. Is free software, but much of its development was sort of funded (PhD studentship, thanks EPSRC. Since September 2002 I've sort of been developing it for free, but that's ok, I enjoy hacking/programming. Kindly sent me ` Taxi 2.

academiccomputing.wordpress.com

Computing: There’s Nothing Like It | Academic Computing

https://academiccomputing.wordpress.com/2012/10/22/computing-theres-nothing-like-it

Experts Can Program Blindfolded. Men In Computing →. October 22, 2012 · 1:57 pm. Computing: There’s Nothing Like It. Trying to create analogies for computing (and properties of information) when dealing with the law is often unhelpful. I once supervised a class where some computing undergraduates were debating whether it is moral and/or legal to use your neighbour’s unprotected wifi to access the Internet:. Speaking of cars: it used to be a running joke on slashdot. That people repeatedly made bad analog...