- From: Hugh Glaser <hugh@glasers.org>
- Date: Thu, 24 Apr 2014 09:10:08 +0100
- To: henry.story@bblfish.net
- Cc: Semantic Web <semantic-web@w3.org>
So Henry mentions Category Theory. And two weeks later I find myself having a dream where I am in an audience of SemWeb people, and the lecturer asks me to come out and explain Strictness Analysis extempore. At least the lecturer chose something I understand somewhat, rather than the Category Theory! You will be pleased to hear that it goes OK, even though I can’t get the whiteboard marker to work properly. Our pasts do catch up with us :-) On 9 Apr 2014, at 11:49, henry.story@bblfish.net wrote: > I am reading up on category theory, which is very important in functional > programming languages. Does anyone have some insight on what the relations > between the two are? Do people use category theory to prove things in rdf > or vice versa? > > Henry > > Social Web Architect > http://bblfish.net/ > > -- Hugh Glaser 20 Portchester Rise Eastleigh SO50 4QS Mobile: +44 75 9533 4155, Home: +44 23 8061 5652
Received on Thursday, 24 April 2014 08:10:33 UTC