https://pinboard.in/u:marmolubio/public/ recent bookmarks from marmolubio 2014-05-01T07:52:38+00:00 http://www.reddit.com/r/haskell/comments/24ddu3/what_do_you_think_is_impeding_haskell_from/ marmolubio ghc https://pinboard.in/ https://pinboard.in/u:marmolubio/b:6355c17b4076/ 2014-04-29T22:02:12+00:00 https://skillsmatter.com/skillscasts/5225-overloaded-record-fields-for-haskell marmolubiohaskell ghc https://pinboard.in/ https://pinboard.in/u:marmolubio/b:972349e13b42/ 2014-04-22T20:43:56+00:00 http://typesandkinds.wordpress.com/2012/12/03/a-formalization-of-ghcs-core-language/ marmolubiohaskell ghc https://pinboard.in/ https://pinboard.in/u:marmolubio/b:e4649e95a2f9/ 2014-04-22T20:36:03+00:00 http://research.microsoft.com/en-us/um/people/simonpj/papers/ext-f/ marmolubioghc haskell types papers https://pinboard.in/ https://pinboard.in/u:marmolubio/b:c756c16e0088/ 2014-04-19T19:27:10+00:00 http://www.eecs.harvard.edu/~greg/cs256sp2005/lec16.txt marmolubioghc types functional https://pinboard.in/ https://pinboard.in/u:marmolubio/b:9b7781afe322/ 2014-04-19T19:23:22+00:00 http://stackoverflow.com/questions/21219773/are-ghcs-type-famlies-an-example-of-system-f-omega marmolubio k2, where k1 and k2 are themselves kinds generated from * and ->. Hence, the type level itself becomes a simply typed lambda-calculus. ]]> haskell types ghc https://pinboard.in/ https://pinboard.in/u:marmolubio/b:d74f83e50213/ 2014-03-30T22:45:55+00:00 http://www.haskell.org/ghc/docs/7.8.1-rc2/html/users_guide/syntax-extns.html marmolubio ghc https://pinboard.in/ https://pinboard.in/u:marmolubio/b:916dcd96e300/ 2014-03-29T02:30:51+00:00 https://ghc.haskell.org/trac/ghc/wiki/Commentary marmolubioghc analysis internals reference https://pinboard.in/ https://pinboard.in/u:marmolubio/b:3e44cc458a14/ 2014-03-28T15:37:42+00:00 https://ghc.haskell.org/trac/ghc/wiki/Status/GHC-7.8/RC2 marmolubioghc https://pinboard.in/ https://pinboard.in/u:marmolubio/b:8f478631b879/ 2014-03-28T07:23:56+00:00 http://www.reddit.com/r/haskell/comments/21hnwr/wheres_ghc_781/ marmolubioghc https://pinboard.in/ https://pinboard.in/u:marmolubio/b:b6b16b5b3f34/ 2014-02-08T21:38:29+00:00 http://www.haskell.org/ghc/docs/latest/html/users_guide/other-type-extensions.html#impredicative-polymorphism marmolubio [a]) -> Maybe ([Int], [Char]) f (Just g) = Just (g [3], g "hello") f Nothing = Nothing Notice here that the Maybe type is parameterised by the polymorphic type (forall a. [a] -> [a]). The technical details of this extension are described in the paper Boxy types: type inference for higher-rank types and impredicativity, which appeared at ICFP 2006.]]> ghc types https://pinboard.in/ https://pinboard.in/u:marmolubio/b:e8ac61d67aeb/ 2014-02-03T23:02:40+00:00 http://www.haskell.org/ghc/docs/7.8.1-rc1/html/users_guide/release-7-8-1.html marmolubiohaskell ghc https://pinboard.in/ https://pinboard.in/u:marmolubio/b:24593204f703/ 2014-01-29T21:43:45+00:00 http://jsfiddle.net/zmV9D/embedded/result/ marmolubioghc https://pinboard.in/ https://pinboard.in/u:marmolubio/b:8bd2b5eb3dfb/ 2014-01-12T21:48:39+00:00 https://www.fpcomplete.com/school/to-infinity-and-beyond/pick-of-the-week/guide-to-ghc-extensions/basic-syntax-extensions#overloadedstrings marmolubiohaskell ghc reference https://pinboard.in/ https://pinboard.in/u:marmolubio/b:82d232ae8c31/ 2013-12-28T07:23:31+00:00 https://www.fpcomplete.com/school/to-infinity-and-beyond/pick-of-the-week/guide-to-ghc-extensions marmolubioghc haskell https://pinboard.in/ https://pinboard.in/u:marmolubio/b:7cacd4364dce/ 2013-12-10T22:05:53+00:00 http://www.haskell.org/haskellwiki/GHC/FAQ#I_get_an_error_message_from_GHCi_about_a_.22duplicate_definition_for_symbol_module_registered.22 marmolubiohaskell faq ghc https://pinboard.in/ https://pinboard.in/u:marmolubio/b:321749e6fcff/ 2013-10-27T14:51:49+00:00 https://news.ycombinator.com/item?id=6621679 marmolubioghc https://pinboard.in/ https://pinboard.in/u:marmolubio/b:b1ccd217a636/ 2013-08-17T11:58:46+00:00 http://parenz.wordpress.com/2013/08/17/ghc-api-interpreted-compiled-and-package-modules/ marmolubiohaskell ghc https://pinboard.in/ https://pinboard.in/u:marmolubio/b:4a561c233a12/ 2013-08-09T15:54:30+00:00 http://ghc.haskell.org/trac/ghc/wiki/Newcomers marmolubiohaskell compilers ghc https://pinboard.in/ https://pinboard.in/u:marmolubio/b:d01df6ce0983/ 2013-06-27T06:22:37+00:00 http://alpmestan.com/2013/06/27/ghc-core-by-example-episode-1/ marmolubiohaskell ghc https://pinboard.in/ https://pinboard.in/u:marmolubio/b:c36c8f92b4ff/ 2013-06-14T23:01:39+00:00 http://lambda.jstolarek.com/2013/06/getting-friendly-with-stg/ marmolubioghc https://pinboard.in/ https://pinboard.in/u:marmolubio/b:18476fa040e6/ 2013-03-09T22:21:43+00:00 http://www.haskell.org/ghc/docs/6.12.2/html/users_guide/generic-classes.html marmolubiohaskell ghc https://pinboard.in/ https://pinboard.in/u:marmolubio/b:289398ce20c7/ 2013-02-22T17:03:46+00:00 http://stackoverflow.com/questions/10519740/specify-ghc-options-at-command-line-via-cabal-cabal-install-without-editing-c marmolubio ghc cabal https://pinboard.in/ https://pinboard.in/u:marmolubio/b:872234c7db87/ 2013-02-16T00:30:39+00:00 http://www.haskell.org/ghc/docs/6.12.3/html/users_guide/type-class-extensions.html marmolubio ghc haskell https://pinboard.in/ https://pinboard.in/u:marmolubio/b:b922a25c345d/ 2012-09-23T06:50:59+00:00 http://www.haskell.org/ghc/docs/latest/html/users_guide/rewrite-rules.html marmolubio haskell ghc https://pinboard.in/ https://pinboard.in/u:marmolubio/b:2388d36a8907/ 2012-02-08T07:11:20+00:00 http://stackoverflow.com/questions/6121146/reading-ghc-core marmolubioghc haskell https://pinboard.in/ https://pinboard.in/u:marmolubio/b:c36990731498/ 2012-02-06T23:15:38+00:00 http://www.haskell.org/haskellwiki/GADTs_for_dummies marmolubio data ghc haskell https://pinboard.in/ https://pinboard.in/u:marmolubio/b:fc08aafc0f08/ 2012-02-06T21:58:37+00:00 http://www.haskell.org/ghc/docs/latest/html/users_guide/data-type-extensions.html marmolubio haskell ghc https://pinboard.in/ https://pinboard.in/u:marmolubio/b:14a1ca5ebbd5/ 2012-02-02T23:03:13+00:00 http://www.haskell.org/ghc/docs/7.4.1/html/users_guide/constraint-kind.html marmolubiohaskell ghc https://pinboard.in/ https://pinboard.in/u:marmolubio/b:5b02b1fb9aa0/ 2012-02-02T22:10:50+00:00 http://www.haskell.org/ghc/docs/7.4.1/html/users_guide/release-7-4-1.html marmolubio haskell ghc https://pinboard.in/ https://pinboard.in/u:marmolubio/b:8b6598a768e5/ 2012-01-20T00:07:00+00:00 http://www.haskell.org/ghc/docs/latest/html/users_guide/data-type-extensions.html#existential-quantification marmolubiohaskell ghc https://pinboard.in/ https://pinboard.in/u:marmolubio/b:a0d5dc2bcdc6/ 2010-01-25T10:50:09+00:00 http://www.haskell.org/ghc/docs/latest/html/users_guide/runtime-control.html marmolubiohaskell ghc commandline https://pinboard.in/u:marmolubio/b:70d88a65863f/