What is the difference in capability between the SML module system and Haskell's Type and Typeclass system? -


i'm trying understand shortcoming here. sml module system merely provide dependent types, similar how idris has extended haskell type system, or there more going on addition capability of dependent types? information on sml module system in existing internet articles has either been hard find or hard understand me.

** edit ** there confusion i'm getting @ question, , confusion seems stem confusion ml module system (i think due fact understood functors in haskell way). dependent types offered example of different between 2 type systems, turns out have been bad example since neither system supports such thing (at least not directly).

the main goal of question me determine differences in expression of concepts between ml , haskell type systems. abstractions/concepts cannot represented in 1 can in another? why claim ml's typesystem more modern/powerful haskell's, or vice versa. way think of 1 type system lacking other not?

the reason i'm interested in knowing due interest in architecting software systems , how different type systems make modularity , extensibility of software easier or more difficult. i've been unimpressed object oriented type systems imperative languages, i'm branching out , studying offered ml , haskell first ones interested me.

limp_chimp answered question providing paper available on web gives pretty detailed comparison between haskell , ml type systems examples.

http://www.cse.unsw.edu.au/~chak/papers/modules-classes.pdf


Comments

Post a Comment

Popular posts from this blog

commonjs - How to write a typescript definition file for a node module that exports a function? -

consider, toml node module can use: // toml.d.ts declare module toml { export function parse(value:string):any; } declare module "toml" { export = toml; } then: /// <reference path="../../../../../defs/toml/toml.d.ts"/> import toml = require('toml'); toml.parse(...); however, node module export single function, such 'glob' ( https://github.com/isaacs/node-glob ). the node usage of module be: var glob = require("glob") glob("*.js", {}, callback(err, files) { ... }); you'd naively expect this: // glob.d.ts declare function globs(paths:string, options:any, callback:{(err:any, files:string[]):void; ...but because typescripts 'import' semantics bit strange, seems can use 'import .. = require()' statement alias modules . trying call: /// <reference path="../../../../../defs/glob/glob.d.ts"/> import blog = require('glob'); results in: error ts2072: mod
Read more

openid - Okta: Failed to get authorization code through API call -

i'm integrating okta own idp server using okta's api. i'm implementing authorization code flow following steps below: in own server, use /api/v1/authn endpoint sessiontoken. use sessiontoken obtain authorization calling endpoint: /oauth2/v1/authorize?client_id=" + clientid + "&sessiontoken=" + sessiontoken + "&response_type=code&response_mode=query&scope=openid&redirect_uri=" + redirecturl + "&state=evanyang&nonce=" it's supposed return response status code 302 , location header containing redirect url code value. however, keep getting response status code 200 , without location header, html body saying "you using unsupported browser." , "javascript disabled on browser." according api documentation: http://developer.okta.com/docs/api/resources/oidc.html#authentication-request , sessiontoken parameter sufficient this: an okta one-time sessiontoken. allows api-based
Read more

thorough guide for profiling racket code -

did googling ("racket profiling", "racket measure performance"), didn't find , there no examples in docs. did google "profile" search on htdp - no luck. (profile (f ...)) output isn't obvious other small snippets. ideally want python's python -m cprofile usage examples. when search "python profiling", both duckduckgo , google give top result: 26.4. python profilers . (although scanned quickly, seems more of reference "thorough usage guide" examples. if had else in mind, perhaps please link that?) the equivalent racket documentation be: profile: statistical profiler . a usage example: #lang racket (require profile) (profile-thunk (thunk (function-to-profile arg0 arg1) )) here (thunk e) convenience (lambda () e) . bigger example: #lang racket (module mod racket (provide f) (define (f) (for/list ([i 10000]) i))) (require (prefix-in mod: 'mod)) (define (f) (for ([i 10000
Read more