CS SYD - Getting your Haskell executable statically linked with Nix
I have been making my products statically linked over the past few days. This post presents why and how to statically link your Haskell executables and collects a mapping from obscure error to unexpected fixes. This work would not have been possible without the many-year-long effort of people like nh2. This issue on GitHub is a good summary of what went into making this possible. Why statically li
CS SYD - JSON Vulnerability in Haskell's Aeson library
This blogpost describes a DoS vulnerability in Haskell's aeson package. We have followed appropriate procedure for responsible disclosure but the problem was not fixed, so now we are releasing this to the public in the hope that it may still be fixed afterall. Disclaimer: This story is the result of a team effort at FP Complete in 2018. I have received explicit written permission to post it here.
CS SYD - Cursors, Part 1: Introduction with the List Cursor
This is the first post in a series about cursors. It explores the motivation behind cursors and uses the list cursor as an example. Disclaimer: cursor is a library based off the concepts outlined in this blog post. It originated in the work on smos, a Purely Functional Semantic Editor. Motivation: The cursor problemSuppose you are writing a terminal user interface (TUI), with brick for example. So
CS Syd - Smos: Writing a Purely Functional Semantic Editor
This is the first post in a long series of posts documenting the process of developing Smos. Smos is a purely functional semantic editor of a subset of YAML that is intended to replace Emacs' Org-mode for Getting Things Done. Emacs' Org-modeIn the past five years, I have routinely switched between using TaskWarrior and Org-mode. I really enjoyed using Taskwarrior, and wrote about it a lot I like O
CS SYD - A non-trivial term-constraint oracle, and a new Haskell teaching tool
My school work has finally produced something worth showing off. For a "Program Analysis" course, Pavel Kalvoda and I have made a new proof-of-concept program analysis tool for Haskell. I will not go into how exactly the tool works, but rather how you can use it. Patterns and backgroundOn a very high level, Haskell's argument patterns let us define the value of function applications for different
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
CS SYD - Ad-hoc polymorphism erodes type-safety
CS SYD - A dancing space leak
CS SYD - Announcing Dekking: Next generation code coverage reports for Haskell
CS SYD - Talk: Practical property testing
CS SYD - Talk: Writing a text editor in Haskell with Brick @ F(by) 2020
CS SYD - Microsmos: Writing a simple tree-editor with brick.
CS SYD - Testing for beginners at Monadic Party
CS SYD - Nanosmos: Writing a simple text-editor with brick.
CS SYD - Type safe Polyvariadic functions in Haskell