Pinboard (marmolubio)
https://pinboard.in/u:marmolubio/public/
recent bookmarks from marmolubioBeautiful Differentiation on Vimeo2014-05-08T19:19:46+00:00
http://vimeo.com/6622658
marmolubiohaskell video calculushttps://pinboard.in/https://pinboard.in/u:marmolubio/b:9d665c103538/Intro to Computational Physics (PHY 261)2014-05-08T19:19:28+00:00
http://mas.lvc.edu/~walck/phy261/syl261.html
marmolubiocourse haskellhttps://pinboard.in/https://pinboard.in/u:marmolubio/b:9f186543c98d/Well Typed's "The Haskell Type System" Course2014-05-07T21:31:10+00:00
http://ocharles.org.uk/blog/posts/2014-05-02-well-typed-guide-haskell-type-system.html
marmolubiohaskell lecture videohttps://pinboard.in/https://pinboard.in/u:marmolubio/b:da77ae89422a/Hackage: snap-web-routes: Type safe URLs for Snap2014-05-07T21:09:45+00:00
http://hackage.haskell.org/package/snap-web-routes-0.4.0.0
marmolubiohaskell librarieshttps://pinboard.in/https://pinboard.in/u:marmolubio/b:86aa492758d2/Foldable.mapM_, Maybe, and recursive functions - School of Haskell | FP Complete2014-05-06T20:23:08+00:00
https://www.fpcomplete.com/user/snoyberg/general-haskell/basics/foldable-mapm-maybe-and-recursive-functions
marmolubiohaskell performancehttps://pinboard.in/https://pinboard.in/u:marmolubio/b:9d3a6bc5bf1a/nbouscal comments on $7.5m DoD grant to develop Homotopy Type Theory2014-05-05T19:52:39+00:00
http://www.reddit.com/r/haskell/comments/24rs73/75m_dod_grant_to_develop_homotopy_type_theory/chaao8d
marmolubiotypes haskellhttps://pinboard.in/https://pinboard.in/u:marmolubio/b:671d00f8ce63/Martijn's Journal » GADTs in Haskell 982014-05-03T07:59:12+00:00
http://martijn.van.steenbergen.nl/journal/2009/11/12/gadts-in-haskell-98/
marmolubiohaskellhttps://pinboard.in/https://pinboard.in/u:marmolubio/b:92f3a40f2754/Martijn's Journal » Transforming polymorphic values2014-05-03T07:59:04+00:00
http://martijn.van.steenbergen.nl/journal/2009/10/18/transforming-polymorphic-values/
marmolubiodsl functional haskellhttps://pinboard.in/https://pinboard.in/u:marmolubio/b:f61dd4353b7b/Typed tagless-final interpretations: Lecture notes2014-05-03T07:50:34+00:00
http://okmij.org/ftp/tagless-final/course/
marmolubiohaskell types patterns programminghttps://pinboard.in/https://pinboard.in/u:marmolubio/b:749437221f82/Open question: help me design a new encoding API for aeson : haskell2014-05-03T07:48:37+00:00
http://www.reddit.com/r/haskell/comments/1ohe9m/open_question_help_me_design_a_new_encoding_api/
marmolubiohaskell tipshttps://pinboard.in/https://pinboard.in/u:marmolubio/b:a44cd9575c75/Thinking in Types2014-05-02T19:27:37+00:00
http://robots.thoughtbot.com/thinking-in-types
marmolubiohaskellhttps://pinboard.in/https://pinboard.in/u:marmolubio/b:861d243709f7/Thinking in Types | Hacker News2014-05-02T17:52:24+00:00
https://news.ycombinator.com/item?id=7686690
marmolubiohaskellhttps://pinboard.in/https://pinboard.in/u:marmolubio/b:0bb91de19c33/haskell - Why is ListT monad transformer considered buggy - what monad laws it breaks? - Stack Overflow2014-05-02T06:09:37+00:00
http://stackoverflow.com/questions/12617916/why-is-listt-monad-transformer-considered-buggy-what-monad-laws-it-breaks
marmolubio>=) applications in the inner monad doesn't matter either, while the "done right" version inserts the wrapped monad at each step in a (possibly infinite) stream. The latter captures the "list as control structure" idea, and as such is related to iteratee-ish streams. ]]>haskell stackoverflowhttps://pinboard.in/https://pinboard.in/u:marmolubio/b:9f4731fae6cd/[untitled]2014-05-01T21:49:55+00:00
http://www.haskell.org/wikiupload/1/14/TMR-Issue6.pdf
marmolubiohaskell referencehttps://pinboard.in/https://pinboard.in/u:marmolubio/b:59a25c15ceb2/Hackage: semigroupoids: Semigroupoids: Category sans id2014-05-01T08:59:04+00:00
http://hackage.haskell.org/package/semigroupoids-4.0.1
marmolubiocategories haskell librarieshttps://pinboard.in/https://pinboard.in/u:marmolubio/b:8e046b876363/Pattern Synonyms for Dates and an IRC Bot - School of Haskell | FP Complete2014-05-01T08:54:15+00:00
https://www.fpcomplete.com/user/icelandj/Pattern%20synonyms
marmolubiohaskell tipshttps://pinboard.in/https://pinboard.in/u:marmolubio/b:00f1203a036a/The Identity monad trick : haskell2014-04-30T18:58:55+00:00
http://www.reddit.com/r/haskell/comments/24cq0u/the_identity_monad_trick/
marmolubiohaskell monads theory tipshttps://pinboard.in/https://pinboard.in/u:marmolubio/b:0651aa68060f/r6research: Mainline Profunctor Heirarchy for Optics2014-04-30T18:55:38+00:00
https://r6research.livejournal.com/27476.html
marmolubiohaskell types theoryhttps://pinboard.in/https://pinboard.in/u:marmolubio/b:40c3558a5218/Week 20: Making ad-hoc polymorphism less ad hoc | A geek with a hat2014-04-30T18:52:26+00:00
http://swizec.com/blog/week-20-making-ad-hoc-polymorphism-less-ad-hoc/swizec/6564
marmolubiohaskellhttps://pinboard.in/https://pinboard.in/u:marmolubio/b:8fbd1669f6b6/bitemyapp - Meditations on learning Haskell2014-04-29T22:06:15+00:00
http://bitemyapp.com/posts/2014-04-29-meditations-on-learning-haskell.html
marmolubiohaskell tips patternshttps://pinboard.in/https://pinboard.in/u:marmolubio/b:a9564e426bae/Skills Matter2014-04-29T22:02:12+00:00
https://skillsmatter.com/skillscasts/5225-overloaded-record-fields-for-haskell
marmolubiohaskell ghchttps://pinboard.in/https://pinboard.in/u:marmolubio/b:972349e13b42/Building data constructors with GHC Generics2014-04-27T13:06:20+00:00
http://ocharles.org.uk/blog/posts/2014-04-26-constructing-generically.html
marmolubiohaskellhttps://pinboard.in/https://pinboard.in/u:marmolubio/b:ab5558a50645/Erik Meijer: The Curse of the Excluded Middle : haskell2014-04-27T10:58:52+00:00
http://www.reddit.com/r/haskell/comments/243fm4/erik_meijer_the_curse_of_the_excluded_middle/
marmolubiohaskellhttps://pinboard.in/https://pinboard.in/u:marmolubio/b:85109cbafb7d/Tekmo comments on A Neighborhood of Infinity: The Monad called Free2014-04-26T15:58:08+00:00
http://www.reddit.com/r/haskell/comments/240j3z/a_neighborhood_of_infinity_the_monad_called_free/ch2kly8
marmolubiohaskell monadshttps://pinboard.in/https://pinboard.in/u:marmolubio/b:eca573187dd8/glguy comments on Lens is unidiomatic Haskell2014-04-26T14:22:01+00:00
http://www.reddit.com/r/haskell/comments/23uzpg/lens_is_unidiomatic_haskell/ch0v5iw
marmolubiohaskell typeshttps://pinboard.in/https://pinboard.in/u:marmolubio/b:eca6691db149/edwardkmett comments on Lens from the ground up2014-04-26T13:05:20+00:00
http://www.reddit.com/r/haskell/comments/23z5xb/lens_from_the_ground_up/ch24upg
marmolubiohaskell theoryhttps://pinboard.in/https://pinboard.in/u:marmolubio/b:830ada0c5651/How do experienced Haskell developers approach laziness at *design* time? - Stack Overflow2014-04-25T19:42:34+00:00
http://stackoverflow.com/questions/23280936/how-do-experienced-haskell-developers-approach-laziness-at-design-time/23282122#23282122
marmolubiohaskell performancehttps://pinboard.in/https://pinboard.in/u:marmolubio/b:b02432e9dd1b/edwardkmett comments on wreq: a capable new HTTP client library2014-04-24T06:11:00+00:00
http://www.reddit.com/r/haskell/comments/23q8kc/wreq_a_capable_new_http_client_library/ch0dwku
marmolubiohaskellhttps://pinboard.in/https://pinboard.in/u:marmolubio/b:b6bf9cd5228f/Patrick Bahr - Programming macro tree transducers2014-04-23T21:37:43+00:00
http://www.diku.dk/~paba/pubs/entries/bahr13wgp.html
marmolubiohaskell algorithmshttps://pinboard.in/https://pinboard.in/u:marmolubio/b:22448516a0cc/What I Wish I Knew When Learning Haskell ( Stephen Diehl )2014-04-23T21:14:49+00:00
http://dev.stephendiehl.com/hask/
marmolubiohaskell programming referencehttps://pinboard.in/https://pinboard.in/u:marmolubio/b:2911814bf8d2/wreq: a Haskell web client library2014-04-23T06:26:37+00:00
http://www.serpentine.com/wreq/
marmolubiohaskell web httphttps://pinboard.in/https://pinboard.in/u:marmolubio/b:da4d2096e16b/A formalization of GHC’s core language | Types and Kinds2014-04-22T20:43:56+00:00
http://typesandkinds.wordpress.com/2012/12/03/a-formalization-of-ghcs-core-language/
marmolubiohaskell ghchttps://pinboard.in/https://pinboard.in/u:marmolubio/b:e4649e95a2f9/Simon Peyton Jones: papers2014-04-22T20:36:03+00:00
http://research.microsoft.com/en-us/um/people/simonpj/papers/ext-f/
marmolubioghc haskell types papershttps://pinboard.in/https://pinboard.in/u:marmolubio/b:c756c16e0088/Commentary/Compiler/FC – GHC2014-04-22T20:23:50+00:00
https://ghc.haskell.org/trac/ghc/wiki/Commentary/Compiler/FC
marmolubiohaskell typeshttps://pinboard.in/https://pinboard.in/u:marmolubio/b:fef654a0a083/Announcing cabal 1.20 : haskell2014-04-20T12:42:41+00:00
http://www.reddit.com/r/haskell/comments/23i6ih/announcing_cabal_120/
marmolubiocabal haskellhttps://pinboard.in/https://pinboard.in/u:marmolubio/b:fce8bc0bbf5e/JSON validation combinators2014-04-20T07:41:26+00:00
http://ro-che.info/articles/2014-04-20-json-validation-combinators.html
marmolubiohaskell json parsinghttps://pinboard.in/https://pinboard.in/u:marmolubio/b:ff7d3dfaad1e/Barendregt's Lambda Cube2014-04-19T21:38:54+00:00
http://www.rbjones.com/rbjpub/logic/cl/tlc001.htm
marmolubiohaskell logic math functionalhttps://pinboard.in/https://pinboard.in/u:marmolubio/b:ad065fbebbae/haskell - Are GHC's Type Famlies An Example of System F-omega? - Stack Overflow2014-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 ghchttps://pinboard.in/https://pinboard.in/u:marmolubio/b:d74f83e50213/Hackage: Omega: Integer sets and relations using Presburger arithmetic2014-04-19T16:23:46+00:00
http://hackage.haskell.org/package/Omega-1.0.1
marmolubiohaskellhttps://pinboard.in/https://pinboard.in/u:marmolubio/b:a923cada9391/Tekmo comments on Finding an interesting interface for simple io in Haskell2014-04-19T06:35:49+00:00
http://www.reddit.com/r/haskell/comments/23f138/finding_an_interesting_interface_for_simple_io_in/cgwda0l
marmolubiohaskellhttps://pinboard.in/https://pinboard.in/u:marmolubio/b:d4d3e7214b39/[untitled]2014-04-18T16:23:42+00:00
http://www.cs.bham.ac.uk/~mhe/papers/realadt.pdf
marmolubiohaskell types analysishttps://pinboard.in/https://pinboard.in/u:marmolubio/b:3178c9b24afb/Functor-Applicative-Monad Proposal - HaskellWiki2014-04-16T21:15:51+00:00
http://www.haskell.org/haskellwiki/index.php?title=Functor-Applicative-Monad_Proposal&diff=57884&oldid=57165
marmolubiohaskellhttps://pinboard.in/https://pinboard.in/u:marmolubio/b:a9af167d9867/Why don't type synonyms permit recursion in Haskell? - Stack Overflow2014-04-16T20:23:24+00:00
http://stackoverflow.com/questions/8963376/why-dont-type-synonyms-permit-recursion-in-haskell?rq=1
marmolubiohaskellhttps://pinboard.in/https://pinboard.in/u:marmolubio/b:53c39ad0be23/C&C - Bargain Priced Coroutines2014-04-16T18:35:50+00:00
http://jozefg.bitbucket.org/posts/2014-04-08-bargain-coroutines.html
marmolubiohaskellhttps://pinboard.in/https://pinboard.in/u:marmolubio/b:3deb3cc668ed/Anyone have a "guide" to reading TaPL? : haskell2014-04-15T19:28:40+00:00
http://www.reddit.com/r/haskell/comments/2335mm/anyone_have_a_guide_to_reading_tapl/
marmolubiohaskell typeshttps://pinboard.in/https://pinboard.in/u:marmolubio/b:ab9b5e8e3e12/eruonna comments on Haskell for all: Scalable program architectures2014-04-14T19:34:14+00:00
http://www.reddit.com/r/haskell/comments/2300zb/haskell_for_all_scalable_program_architectures/cgs77sw
marmolubiohaskellhttps://pinboard.in/https://pinboard.in/u:marmolubio/b:62a96de8242c/Hackage: foldl-incremental: incremental folds2014-04-14T06:34:11+00:00
http://hackage.haskell.org/package/foldl-incremental-0.1.0.0
marmolubiohaskell librarieshttps://pinboard.in/https://pinboard.in/u:marmolubio/b:a22f02f02456/[Haskell-cafe] warp vs scotty + some benchmark numbers - Google Groups2014-04-13T11:04:54+00:00
https://groups.google.com/forum/#!msg/haskell-cafe/0Ebt6PJsd5o/a1tpyvNah98J
marmolubiohaskell performancehttps://pinboard.in/https://pinboard.in/u:marmolubio/b:655d3c842b60/The Constraint kind « Wolfgang Jeltsch2014-04-12T02:12:31+00:00
http://jeltsch.wordpress.com/2013/02/14/the-constraint-kind/
marmolubiohaskell typeshttps://pinboard.in/https://pinboard.in/u:marmolubio/b:2017526d7cd7/Neil Mitchell's Haskell Blog: Installing the Haskell network library on Windows2014-04-11T16:45:55+00:00
http://neilmitchell.blogspot.com.es/2010/12/installing-haskell-network-library-on.html
marmolubiohaskell tipshttps://pinboard.in/https://pinboard.in/u:marmolubio/b:24b57ca79644/Hackage: free-functors: Provides free functors that are adjoint to functors that forget class constraints.2014-04-09T19:42:38+00:00
http://hackage.haskell.org/package/free-functors-0.6.2
marmolubiohaskell librarieshttps://pinboard.in/https://pinboard.in/u:marmolubio/b:0de1265d2a4a/Why is this algorithm so much slower in Haskell than in C? : haskell2014-04-08T22:23:54+00:00
http://www.reddit.com/r/haskell/comments/22ijq9/why_is_this_algorithm_so_much_slower_in_haskell/
marmolubiohaskellhttps://pinboard.in/https://pinboard.in/u:marmolubio/b:d5af7eeb921a/hvr/multi-ghc-travis · GitHub2014-04-08T21:58:11+00:00
https://github.com/hvr/multi-ghc-travis
marmolubiohaskell cabalhttps://pinboard.in/https://pinboard.in/u:marmolubio/b:777334b08ec9/Hackage: packed-dawg: Generation and traversal of highly compressed directed acyclic word graphs.2014-04-08T21:57:12+00:00
http://hackage.haskell.org/package/packed-dawg
marmolubiohaskell librarieshttps://pinboard.in/https://pinboard.in/u:marmolubio/b:e5ad790242d9/Proposal: Changes to the PVP2014-04-08T20:14:09+00:00
http://www.yesodweb.com/blog/2014/04/proposal-changes-pvp
marmolubiohaskellhttps://pinboard.in/https://pinboard.in/u:marmolubio/b:15f34dfabfac/Skills Matter2014-04-07T06:21:29+00:00
https://skillsmatter.com/skillscasts/3932-a-haskell-lecture-with-leading-expert-andres-loh
marmolubiohaskell lecture videohttps://pinboard.in/https://pinboard.in/u:marmolubio/b:fd0f375bfba7/quinta_essentia comments on Haskell usage in the real world...2014-04-06T13:35:22+00:00
http://www.reddit.com/r/haskell/comments/22bm10/haskell_usage_in_the_real_world/cglakvz
marmolubiohaskellhttps://pinboard.in/https://pinboard.in/u:marmolubio/b:9c6d118d2751/Hackage: temporary: Portable temporary file and directory support for Windows and Unix, based on code from Cabal2014-04-05T12:09:10+00:00
http://hackage.haskell.org/package/temporary-1.2.0.2
marmolubiohaskell libraries windowshttps://pinboard.in/https://pinboard.in/u:marmolubio/b:da92746f8779/[untitled]2014-04-05T02:01:05+00:00
http://conal.net/talks/elegant-memoization.pdf
marmolubiohaskellhttps://pinboard.in/https://pinboard.in/u:marmolubio/b:1743ba60b320/(53)2014-04-04T14:25:49+00:00
http://www.scs.stanford.edu/14sp-cs240h/slides/basics-slides.html#(53)
marmolubiohaskell slideshttps://pinboard.in/https://pinboard.in/u:marmolubio/b:75d5224f7439/Basic Syntax Extensions - School of Haskell | FP Complete2014-04-03T20:14:46+00:00
https://www.fpcomplete.com/school/to-infinity-and-beyond/pick-of-the-week/guide-to-ghc-extensions/basic-syntax-extensions#multiwayif
marmolubiohaskellhttps://pinboard.in/https://pinboard.in/u:marmolubio/b:8cee06b3a38d/[untitled]2014-04-02T22:51:39+00:00
http://hackage.haskell.org/package/optparse-applicative-0.8.0.1/changelog
marmolubiohaskellhttps://pinboard.in/https://pinboard.in/u:marmolubio/b:5e14082ac918/Neil Mitchell's Haskell Blog: Exceptional Testing2014-04-01T21:52:36+00:00
http://neilmitchell.blogspot.com.es/2014/04/exceptional-testing.html
marmolubiohaskellhttps://pinboard.in/https://pinboard.in/u:marmolubio/b:a9578a6b6a79/Snap.Loader.Dynamic2014-04-01T20:13:28+00:00
http://hackage.haskell.org/package/snap-loader-dynamic-0.10.0.1/docs/Snap-Loader-Dynamic.html
marmolubiohaskell libraries tipshttps://pinboard.in/https://pinboard.in/u:marmolubio/b:b79d9d144245/tel comments on Writing a simple type checker with Bound2014-03-31T20:30:35+00:00
http://www.reddit.com/r/haskell/comments/21tusc/writing_a_simple_type_checker_with_bound/cgggjyt
marmolubiohaskellhttps://pinboard.in/https://pinboard.in/u:marmolubio/b:0af790dbce67/Writing a simple type checker with Bound : haskell2014-03-31T20:29:52+00:00
http://www.reddit.com/r/haskell/comments/21tusc/writing_a_simple_type_checker_with_bound/
marmolubiocompilers haskell librarieshttps://pinboard.in/https://pinboard.in/u:marmolubio/b:f0743ebb3647/4.20. Flag reference2014-03-30T21:47:51+00:00
http://www.haskell.org/ghc/docs/7.8.1-rc2/html/users_guide/flag-reference.html#idp14537440
marmolubiohaskell librarieshttps://pinboard.in/https://pinboard.in/u:marmolubio/b:0487ee6fd7fa/Data.Data2014-03-30T21:40:40+00:00
http://hackage.haskell.org/package/base-4.6.0.1/docs/Data-Data.html#v:gfoldl
marmolubiohaskellhttps://pinboard.in/https://pinboard.in/u:marmolubio/b:b0ef203c8dce/Curtis Gagliardi2014-03-30T08:51:15+00:00
http://curtis.io/posts/generating-data-uris-with-haskell.html
marmolubiohaskellhttps://pinboard.in/https://pinboard.in/u:marmolubio/b:d6c220a7d5ae/Hackage: combinat: Generation of various combinatorial objects.2014-03-29T20:54:47+00:00
http://hackage.haskell.org/package/combinat-0.2.5.0
marmolubiohaskell combinatorics librarieshttps://pinboard.in/https://pinboard.in/u:marmolubio/b:7006e295363b/