Article View: comp.lang.functional
Article #264Re: Pattern matching considered harmful
From: Chris Holt
Date: Tue, 05 Jun 1990 17:57
Date: Tue, 05 Jun 1990 17:57
15 lines
1526 bytes
1526 bytes
In article <RJC.90Jun4134659@brodie.uk.ac.ed.cstr> rjc@uk.ac.ed.cstr (Richard Caley) writes: > >One can change the implementation of a function without changing its >calling sequence, one can not change the structure of a data object >without changing the pattern used to match it. > >It would be nice this was possible. declare a dtat type ad declare a >`picture' of it which is what the outside world sees. The picture is surely just those functions that can take the data type as an argument, and those that can return the data type as a result. ----------------------------------------------------------------------------- Chris.Holt@newcastle.ac.uk Computing Lab, U of Newcastle upon Tyne, UK ----------------------------------------------------------------------------- "...for where we are is here, And where here is, must we ever be."
Technical Details
Message-ID:
<1990Jun5.175706.415@newcastle.ac.uk>Path:
arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rutgers!tut.cis.ohio-state.edu!zaphod.mps.ohio-state.edu!usc!snorkelwacker!bloom-beacon!eru!luth!sunic!mcsun!ukc!newcastle.ac.uk!turing!ncmhReferences:
<2584@skye.ed.ac.uk> <3077@goanna.cs.rmit.oz.au> <2790@syma.sussex.ac.uk> <RJC.90Jun4134659@brodie.uk.ac.ed.cstr>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rutgers!tut.cis.ohio-state.edu!zaphod.mps.ohio-state.edu!usc!snorkelwacker!bloom-beacon!eru!luth!sunic!mcsun!ukc!newcastle.ac.uk!turing!ncmh From: Chris.Holt@newcastle.ac.uk (Chris Holt) Newsgroups: comp.lang.functional,comp.lang.prolog Subject: Re: Pattern matching considered harmful Message-ID: <1990Jun5.175706.415@newcastle.ac.uk> Date: 5 Jun 90 17:57:06 GMT References: <2584@skye.ed.ac.uk> <3077@goanna.cs.rmit.oz.au> <2790@syma.sussex.ac.uk> <RJC.90Jun4134659@brodie.uk.ac.ed.cstr> Sender: news@newcastle.ac.uk Organization: Computing Laboratory, U of Newcastle upon Tyne, UK NE17RU Lines: 15