https://www.bibsonomy.org/tag/haskellBibSonomy RSS Feed for /tag/haskellhttps://iagoleal.com/posts/automata-monads/bshanks2023-11-08T21:44:09+01:00automata dfa haskell monad nfa <a itemprop="url" data-versiondate="2023-11-08T21:44:09+01:00" href="https://iagoleal.com/posts/automata-monads/" rel="nofollow" class="description-link">https://iagoleal.com/posts/automata-monads/</a>https://web.archive.org/web/20211014094900/https://ren.zone/articles/safe-moneybshanks2023-09-19T19:39:23+02:00haskell money <a itemprop="url" data-versiondate="2023-09-19T19:39:23+02:00" href="https://web.archive.org/web/20211014094900/https://ren.zone/articles/safe-money" rel="nofollow" class="description-link">https://web.archive.org/web/20211014094900/https://ren.zone/articles/safe-money</a>https://cdsmithus.medium.com/pair-programming-with-chatgpt-haskell-1c4490b71da6bshanks2023-01-27T07:16:03+01:00ai code gpt haskell program <a itemprop="url" data-versiondate="2023-01-27T07:16:03+01:00" href="https://cdsmithus.medium.com/pair-programming-with-chatgpt-haskell-1c4490b71da6" rel="nofollow" class="description-link">https://cdsmithus.medium.com/pair-programming-with-chatgpt-haskell-1c4490b71da6</a>https://wasp-lang.dev/blog/2021/09/01/haskell-forall-tutorialbshanks2022-12-08T08:35:06+01:00forall haskell <a itemprop="url" data-versiondate="2022-12-08T08:35:06+01:00" href="https://wasp-lang.dev/blog/2021/09/01/haskell-forall-tutorial" rel="nofollow" class="description-link">https://wasp-lang.dev/blog/2021/09/01/haskell-forall-tutorial</a>https://algebradriven.design/bshanks2022-08-21T06:49:27+02:00algebra equation haskell <a itemprop="url" data-versiondate="2022-08-21T06:49:27+02:00" href="https://algebradriven.design/" rel="nofollow" class="description-link">https://algebradriven.design/</a>https://medium.com/pragmatic-programmers/pure-print-style-debugging-in-haskell-c4c5d4f39afabshanks2022-03-31T04:22:51+02:00debug haskell print printf <a itemprop="url" data-versiondate="2022-03-31T04:22:51+02:00" href="https://medium.com/pragmatic-programmers/pure-print-style-debugging-in-haskell-c4c5d4f39afa" rel="nofollow" class="description-link">https://medium.com/pragmatic-programmers/pure-print-style-debugging-in-haskell-c4c5d4f39afa</a>http://conal.net/papers/type-class-morphisms/bshanks2022-01-03T06:37:24+01:00denotationaldesign formal haskell proof <a itemprop="url" data-versiondate="2022-01-03T06:37:24+01:00" href="http://conal.net/papers/type-class-morphisms/" rel="nofollow" class="description-link">http://conal.net/papers/type-class-morphisms/</a>https://github.com/bolt12/advent-of-haskell-ddbshanks2022-01-03T06:36:08+01:00denotationaldesign formal haskell proof <a itemprop="url" data-versiondate="2022-01-03T06:36:08+01:00" href="https://github.com/bolt12/advent-of-haskell-dd" rel="nofollow" class="description-link">https://github.com/bolt12/advent-of-haskell-dd</a>https://duplode.github.io/posts/divisible-and-the-monoidal-quartet.htmlgdmcbain2021-11-18T21:44:05+01:0068n18-functional-programming-and-lambda-calculus haskell <a itemprop="url" data-versiondate="2021-11-18T21:44:05+01:00" href="https://duplode.github.io/posts/divisible-and-the-monoidal-quartet.html" rel="nofollow" class="description-link">https://duplode.github.io/posts/divisible-and-the-monoidal-quartet.html</a>http://learnyouanagda.liamoc.net/pages/introduction.htmlgdmcbain2021-08-30T02:39:04+02:0003b15-higher-order-logic-type-theory 68n18-functional-programming-and-lambda-calculus agda haskell <a itemprop="url" data-versiondate="2021-08-30T02:39:04+02:00" href="http://learnyouanagda.liamoc.net/pages/introduction.html" rel="nofollow" class="description-link">http://learnyouanagda.liamoc.net/pages/introduction.html</a>https://gist.github.com/beala/d871ae8397167e7035f218a25ddf87ddmkf2020-09-21T10:14:02+02:00haskell haskell_memoization <a itemprop="url" data-versiondate="2020-09-21T10:14:02+02:00" href="https://gist.github.com/beala/d871ae8397167e7035f218a25ddf87dd" rel="nofollow" class="description-link">https://gist.github.com/beala/d871ae8397167e7035f218a25ddf87dd</a>https://ghc.readthedocs.io/en/8.0.1/debug-info.htmlmkf2020-09-21T10:12:28+02:00haskell haskell_debugging <a itemprop="url" data-versiondate="2020-09-21T10:12:28+02:00" href="https://ghc.readthedocs.io/en/8.0.1/debug-info.html" rel="nofollow" class="description-link">https://ghc.readthedocs.io/en/8.0.1/debug-info.html</a>https://kowainik.github.io/posts/haskell-mini-patternsbshanks2020-08-19T15:01:14+02:00haskell <a itemprop="url" data-versiondate="2020-08-19T15:01:14+02:00" href="https://kowainik.github.io/posts/haskell-mini-patterns" rel="nofollow" class="description-link">https://kowainik.github.io/posts/haskell-mini-patterns</a>https://doisinkidney.com/posts/2019-12-14-stern-brocot.htmlanalyst2019-12-20T10:20:59+01:00article blog haskell number-theory <a itemprop="url" data-versiondate="2019-12-20T10:20:59+01:00" href="https://doisinkidney.com/posts/2019-12-14-stern-brocot.html" rel="nofollow" class="description-link">https://doisinkidney.com/posts/2019-12-14-stern-brocot.html</a>https://doisinkidney.com/posts/2019-12-14-stern-brocot.htmlgdmcbain2019-12-19T19:08:32+01:0003f60-constructive-and-recursive-analysis Agra Haskell <a itemprop="url" data-versiondate="2019-12-19T19:08:32+01:00" href="https://doisinkidney.com/posts/2019-12-14-stern-brocot.html" rel="nofollow" class="description-link">https://doisinkidney.com/posts/2019-12-14-stern-brocot.html</a>http://www.michaelburge.us/2017/08/25/writing-a-formally-verified-porn-browser-in-coq.htmlmkf2019-12-17T17:08:15+01:00coq coq-extraction-haskell haskell <a itemprop="url" data-versiondate="2019-12-17T17:08:15+01:00" href="http://www.michaelburge.us/2017/08/25/writing-a-formally-verified-porn-browser-in-coq.html" rel="nofollow" class="description-link">http://www.michaelburge.us/2017/08/25/writing-a-formally-verified-porn-browser-in-coq.html</a>https://wiki.haskell.org/Implement_a_chat_servermkf2019-11-26T08:36:10+01:00haskell <a itemprop="url" data-versiondate="2019-11-26T08:36:10+01:00" href="https://wiki.haskell.org/Implement_a_chat_server" rel="nofollow" class="description-link">https://wiki.haskell.org/Implement_a_chat_server</a>For me, this month marks the end of an era in my life: as of February 2018, I am no longer employed writing Haskell. It’s been a fascinating two years, and while I am excitedly looking forward to what I’ll be doing next, it’s likely I will continue to wri...https://lexi-lambda.github.io/blog/2018/02/10/an-opinionated-guide-to-haskell-in-2018/mkf2019-11-26T08:02:29+01:00cabal haskell stack <span itemprop="description">For me, this month marks the end of an era in my life: as of February 2018, I am no longer employed writing Haskell. It’s been a fascinating two years, and while I am excitedly looking forward to what I’ll be doing next, it’s likely I will continue to wri...</span>https://www.tweag.io/posts/2019-10-09-bazel-cabal-stack.htmlmkf2019-11-26T08:02:06+01:00cabal haskell stack <a itemprop="url" data-versiondate="2019-11-26T08:02:06+01:00" href="https://www.tweag.io/posts/2019-10-09-bazel-cabal-stack.html" rel="nofollow" class="description-link">https://www.tweag.io/posts/2019-10-09-bazel-cabal-stack.html</a>https://www.tpflug.me/2019/01/14/haskell-nix-vim/mkf2019-11-26T08:01:05+01:00cabal haskell nix <a itemprop="url" data-versiondate="2019-11-26T08:01:05+01:00" href="https://www.tpflug.me/2019/01/14/haskell-nix-vim/" rel="nofollow" class="description-link">https://www.tpflug.me/2019/01/14/haskell-nix-vim/</a>