Beefy Boxes and Bandwidth Generously Provided by pair Networks
Think about Loose Coupling
 
PerlMonks  

Re: Why do people say 'Perl' is dead?!?!

by BrowserUk (Pope)
on Dec 12, 2011 at 03:08 UTC ( #943008=note: print w/ replies, xml ) Need Help??

Help for this page

Select Code to Download


  1. or download this
    A basic technique is to use newtype declarations to declare separate 
    types for separate intents.
    ...
    
         append (AnnotatedString x) (AnnotatedString y)
           = AnnotatedString (x ++ y)
    
  2. or download this
       If x and y have the same safety level,
       then (x ++ y) has again that same safety level.
    
  3. or download this
       type family Join a b
       type instance Join Safe Safe = Safe
       type instance Join Safe Unsafe = Unsafe
       type instance Join Unsafe Safe = Unsafe
       type instance Join Unsafe Unsafe = Unsafe
    
  4. or download this
       append
         :: AnnotatedString a
         -> AnnotatedString b
         -> AnnotatedString (Join a b)
    
  5. or download this
       (x ++ y) is at least as safe as the least safe of x and y.
    

Log In?
Username:
Password:

What's my password?
Create A New User
Node Status?
node history
Node Type: note [id://943008]
help
Chatterbox?
and the web crawler heard nothing...

How do I use this? | Other CB clients
Other Users?
Others having an uproarious good time at the Monastery: (17)
As of 2015-07-28 13:53 GMT
Sections?
Information?
Find Nodes?
Leftovers?
    Voting Booth?

    The top three priorities of my open tasks are (in descending order of likelihood to be worked on) ...









    Results (255 votes), past polls