Copperbox revision 2773.
I've added a tagless, phantom typed layer, but it is too complicated - I'll have to rethink and possibly use a monad instead.
Friday, June 8, 2012
Thursday, June 7, 2012
ochre
Copperbox revision 2771.
I think I've designed a type system for Ochre. I struggled with this before ("my first type system") but really it is the same as designing a typed library, plus cribbing some type signatures from SML as I have effects (ref cells and output) within the language rather than stratified as monadic effects.
Revision 2770 forgot to add the new file Typing.hs which is the mock-up of type system in use.
I think I've designed a type system for Ochre. I struggled with this before ("my first type system") but really it is the same as designing a typed library, plus cribbing some type signatures from SML as I have effects (ref cells and output) within the language rather than stratified as monadic effects.
Revision 2770 forgot to add the new file Typing.hs which is the mock-up of type system in use.
Wednesday, June 6, 2012
Tuesday, June 5, 2012
swidgets
Copperbox revision 2768.
Surprising development - first Java commit to Copperbox... (swidgets = Stephen's widgets)
I've started developing the Processing GUI widgets a bit more seriously. It turns out that advanced "Processing" is actually Java - Processing (the environment / compiler, whatever...) has no concept of shared libraries written in Processing (the language) so you have to write libraries in Java. This isn't a huge difference - Processing (the language) seems to be Java less some bits and with other bits implicit to save typing.
Surprising development - first Java commit to Copperbox... (swidgets = Stephen's widgets)
I've started developing the Processing GUI widgets a bit more seriously. It turns out that advanced "Processing" is actually Java - Processing (the environment / compiler, whatever...) has no concept of shared libraries written in Processing (the language) so you have to write libraries in Java. This isn't a huge difference - Processing (the language) seems to be Java less some bits and with other bits implicit to save typing.
Sunday, June 3, 2012
Subscribe to:
Posts (Atom)
Blog Archive
About Me
- Stephen Tetley
- Disambiguating biog as there are a few Stephen Tetley's in the world. I'm neither a cage fighter or yachtsman. I studied Fine Art in the nineties (foundation Bradford 1992, degree Cheltenham 1992 - 95) then Computing part-time at Leeds Met graduating in 2003. I'm the Stephen Tetley on Haskell Cafe and Stackoverflow.