Beefy Boxes and Bandwidth Generously Provided by pair Networks
Perl-Sensitive Sunglasses
 
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 avoiding work at the Monastery: (12)
As of 2014-12-19 12:33 GMT
Sections?
Information?
Find Nodes?
Leftovers?
    Voting Booth?

    Is guessing a good strategy for surviving in the IT business?





    Results (82 votes), past polls