haskell - GHC compiler not complaining about incorrect code paths -


i'm approaching haskell view of converting runtime errors compile-time errors. expect compiler figure out code paths in following code not error free. if authorizeuser returns unauthorizedcommand call (command $ authorizeuser cmd userid) fail during runtime.

data command = unauthorizedcommand | command {command :: string, userid :: string}  authorizedusers = ["1", "2", "3"]  authorizeuser :: string -> string -> command authorizeuser cmd userid = if (userid `elem` authorizedusers) command {command=cmd, userid=userid} else unauthorizedcommand  main :: io () main =   cmd <- getline   userid <- getline   case (command $ authorizeuser cmd userid) of     "ls" -> putstrln "works"     _ -> putstrln "not authorized"

is there compiler switch enable such checking?

the main problem in example using record syntax in data type multiple constructors can end record selector functions partial. it's therefore not recommended ever mix records , multiple constructors unless constructors have identical record fields.

the simplest solution not use record syntax here , define own command accessor makes error case explicit maybe return type:

data command = unauthorizedcommand | command string string  command :: command -> maybe string command unauthorizedcommand = nothing command (command cmd _)     = cmd

a more complex way check during compile time use gadts encode permission level in types.

{-# language gadts #-} {-# language datakinds #-}  data permission   = authorized | unauthorized  data command p   unauthorizedcommand :: command unauthorized   command :: {command :: string, userid :: string} -> command authorized

now type of command selector command authorized -> string compile time error if try use unauthorized command.


Comments

Post a Comment

Popular posts from this blog

javascript - jQuery: Add class depending on URL in the best way -

i have html progress meter: <div class="col-md-3" style="margin-left: -20px;"> <div class="progress-pos active" id="progess-1"> <div class="progress-pos-inner"> login </div> </div> </div> <div class="col-md-3 progress-pos-container"> <div class="progress-pos" id="progess-2"> <div class="progress-pos-inner"> scan items </div> </div> </div> <div class="col-md-3 progress-pos-container"> <div class="progress-pos" id="progess-3"> <div class="progress-pos-inner"> confirm address </div> </div> </div> <div class="col-md-3 progress-pos-container"> <div class="progress-pos" id="progess-4"> <div class="progress-pos-in...
Read more

caching - How to check if a url path exists in the service worker cache -

i need check if particular url path exists in service worker cache. example, suppose url is: /myserviceworker/service?a=110&b=70 this url exists in cache, there many of them different values of , b. now, suppose want refresh of these urls, how can that? i want know how access key values service worker cache. if know key, plan follows: var url = new url(key); if(url.pathname === "\/myserviceworker/service") refetch key but not sure how cache key , in format is. mean, string or url? cache api has match() method returns promise resolving in response object if match or undefined if no match exists. second parameter object can specify ignoresearch not take account url parameters. the ignoresearch option supported firefox ( chrome status here ). in other hand, retrieve cache entries, can use keys() method.
Read more

Redirect to a HTTPS version using .htaccess -

i need modify .htaccess file redirect urls https version without "www". http://example.com --> https://example.com http://www.example.com --> https://example.com https://www.example.com --> https://example.com this how .htaccess file looks like: rewriteengine on rewritecond %{request_filename} !-d rewritecond %{request_filename} !-f rewriterule ^(.*)$ redirect.php?id=$1&page=$2 [qsa,l] what modifications need make .htaccess in order forward https without "www"? it depends on doing current code. looks file called redirect trying display php page seo friendly url. think might confusing people. anyway, need , force https without www, need 1 more rule above. also second rule needs two capture groups in rewriterule test string because wanting 2 different values using $1 , $2 references. rewriteengine on #rediect www non www and/or http https --- combinations. rewritecond %{http_host} !^example\.com [nc,or] rewritecond %{https} !^...
Read more