corpus.blog
41554 blogs · [ { "id": "01a08784-66c6-733d-a194-450586198370", "title": "Variant and recursion schemes", "url": "http://www.hsyl20.fr/home/posts/2024-09-12-variant-recursion-schemes.html", "published_at": "2024-09-12T00:00:00+00:00" }, { "id": "01a08784-66c7-7371-bae7-8b8dda8ad99a", "title": "About GHC's stability in 2024", "url": "http://www.hsyl20.fr/home/posts/2024-08-07-about-ghcs-stability.html", "published_at": "2024-08-07T00:00:00+00:00" }, { "id": "01a08784-66c7-7371-bae7-8b8ddaecd58c", "title": "Contributions to GHC 9.8", "url": "http://www.hsyl20.fr/home/posts/2023-11-01-contributions-ghc-98.html", "published_at": "2023-11-01T00:00:00+00:00" }, { "id": "01a08784-66c7-7371-bae7-8b8ddb767635", "title": "Contributions to GHC 9.6", "url": "http://www.hsyl20.fr/home/posts/2023-04-01-contributions-ghc-96.html", "published_at": "2023-04-01T00:00:00+00:00" }, { "id": "01a08784-66c7-7371-bae7-8b8ddb9730bb", "title": "Contributions to GHC 9.4", "url": "http://www.hsyl20.fr/home/posts/2022-08-10-contributions-ghc-94.html", "published_at": "2022-08-10T00:00:00+00:00" }, { "id": "01a08784-66c7-7371-bae7-8b8ddbfb68b6", "title": "Modularizing GHC paper", "url": "http://www.hsyl20.fr/home/posts/2022-05-03-modularizing-ghc-paper.html", "published_at": "2022-05-03T00:00:00+00:00" }, { "id": "01a08784-66c7-7371-bae7-8b8ddc00c0bc", "title": "On the inlining of Integer and Natural operations", "url": "http://www.hsyl20.fr/home/posts/2022-04-28-inlining-bignum.html", "published_at": "2022-04-28T00:00:00+00:00" }, { "id": "01a08784-66c7-7371-bae7-8b8ddc3dc867", "title": "Contributions to GHC 9.2", "url": "http://www.hsyl20.fr/home/posts/2021-10-28-contributions-ghc-92.html", "published_at": "2021-10-28T00:00:00+00:00" }, { "id": "01a08784-66c7-7371-bae7-8b8ddc3f2efa", "title": "Contributions to GHC 9.0", "url": "http://www.hsyl20.fr/home/posts/2021-03-13-contributions-to-ghc-90.html", "published_at": "2021-03-13T00:00:00+00:00" }, { "id": "01a08784-66c7-7371-bae7-8b8ddca2c689", "title": "Stack: building GHC from source", "url": "http://www.hsyl20.fr/home/posts/2019-04-17-ghc-hacking-with-stack.html", "published_at": "2019-04-17T00:00:00+00:00" }, { "id": "01a08784-66c7-7371-bae7-8b8ddcc64aea", "title": "Fast file embedding with GHC!", "url": "http://www.hsyl20.fr/home/posts/2019-01-15-fast-file-embedding-with-ghc.html", "published_at": "2019-01-15T00:00:00+00:00" }, { "id": "01a08784-66c7-7371-bae7-8b8ddd6f556c", "title": "An answer to \"The Trouble with Typed Errors\"", "url": "http://www.hsyl20.fr/home/posts/2018-11-04-trouble-with-typed-errors.html", "published_at": "2018-11-04T00:00:00+00:00" }, { "id": "01a08784-66c7-7371-bae7-8b8dde50899e", "title": "Announcing Variant and EADT 2.0", "url": "http://www.hsyl20.fr/home/posts/2018-10-28-announcing-eadt.html", "published_at": "2018-10-28T00:00:00+00:00" }, { "id": "01a08784-66c7-7371-bae7-8b8ddec312df", "title": "Extensible ADT (EADT)", "url": "http://www.hsyl20.fr/home/posts/2018-05-22-extensible-adt.html", "published_at": "2018-05-22T00:00:00+00:00" }, { "id": "01a08784-66c7-7371-bae7-8b8ddf3c1a5c", "title": "Heterogeneous collections", "url": "http://www.hsyl20.fr/home/posts/2018-02-21-heterogeneous-collections.html", "published_at": "2018-02-21T00:00:00+00:00" }, { "id": "01a08784-66c7-7371-bae7-8b8ddff76b69", "title": "Reducing GHC's noise: hiding source and object paths", "url": "http://www.hsyl20.fr/home/posts/2018-01-15-ghc-hiding-source-and-object-paths.html", "published_at": "2018-01-15T00:00:00+00:00" }, { "id": "01a08784-66c7-7371-bae7-8b8de0369c92", "title": "Announcing haskus-system 0.7", "url": "http://www.hsyl20.fr/home/posts/2017-06-29-announcing-haskussystem-07.html", "published_at": "2017-06-29T00:00:00+00:00" }, { "id": "01a08784-66c7-7371-bae7-8b8de0a7e53b", "title": "Control Flow in Haskell (3) - Flow with Variant", "url": "http://www.hsyl20.fr/home/posts/2016-12-12-control-flow-in-haskell-part-3.html", "published_at": "2016-12-12T00:00:00+00:00" }, { "id": "01a08784-66c7-7371-bae7-8b8de1139c69", "title": "Control Flow in Haskell (2) - Variant", "url": "http://www.hsyl20.fr/home/posts/2016-12-12-control-flow-in-haskell-part-2.html", "published_at": "2016-12-12T00:00:00+00:00" }, { "id": "01a08784-66c7-7371-bae7-8b8de20f4525", "title": "Control Flow in Haskell (1) - State of the art", "url": "http://www.hsyl20.fr/home/posts/2016-12-12-control-flow-in-haskell-part-1.html", "published_at": "2016-12-12T00:00:00+00:00" }, { "id": "01a08784-66c7-7371-bae7-8b8de29800b3", "title": "Control Flow in Haskell (0) - Introduction", "url": "http://www.hsyl20.fr/home/posts/2016-12-12-control-flow-in-haskell-part-0.html", "published_at": "2016-12-12T00:00:00+00:00" }, { "id": "01a08784-66c7-7371-bae7-8b8de331a64a", "title": "Haskell type system from the ground up (1)", "url": "http://www.hsyl20.fr/home/posts/2016-10-04-haskell-type-system-from-the-ground-up.html", "published_at": "2016-10-04T00:00:00+00:00" }, { "id": "01a08784-66c7-7371-bae7-8b8de42a08b9", "title": "Predefined shared error sets considered harmful", "url": "http://www.hsyl20.fr/home/posts/2016-04-05-predefined-shared-error-sets-considered-harmful.html", "published_at": "2016-04-05T00:00:00+00:00" }, { "id": "01a08784-66c7-7371-bae7-8b8de4b98ef1", "title": "First Experiments With Dependent Types In GHC", "url": "http://www.hsyl20.fr/home/posts/2016-03-18-first-experiments-with-dependent-types.html", "published_at": "2016-03-18T00:00:00+00:00" }, { "id": "01a08784-66c7-7371-bae7-8b8de4c7499e", "title": "libc considered harmful", "url": "http://www.hsyl20.fr/home/posts/2014-04-01-libc-considered-harmful.html", "published_at": "2014-04-01T00:00:00+00:00" }, { "id": "01a08784-66c7-7371-bae7-8b8de50bcd8f", "title": "UNIX philosophy: a praise for functional programming", "url": "http://www.hsyl20.fr/home/posts/2014-02-14-unix-philosophy-a-praise-for-functional-programming.html", "published_at": "2014-02-14T00:00:00+00:00" }, { "id": "01a08784-66c7-7371-bae7-8b8de5a038ea", "title": "Continuations avec Scala", "url": "http://www.hsyl20.fr/home/posts/2010-07-16-continuations-avec-scala.html", "published_at": "2010-07-16T00:00:00+00:00" }, { "id": "01a08784-66c7-7371-bae7-8b8de677f94a", "title": "Encadrer des geeks", "url": "http://www.hsyl20.fr/home/posts/2010-05-19-encadrer-des-geeks.html", "published_at": "2010-05-19T00:00:00+00:00" }, { "id": "01a08784-66c7-7371-bae7-8b8de6bd05d5", "title": "SunBurn : DSL", "url": "http://www.hsyl20.fr/home/posts/2009-06-19-sunburn-dsl.html", "published_at": "2009-06-19T00:00:00+00:00" }, { "id": "01a08784-66c7-7371-bae7-8b8de6cacb53", "title": "SunBurn : ajouts de caméras, de lumières et de matériaux", "url": "http://www.hsyl20.fr/home/posts/2009-06-11-sunburn-ajouts-de-cameras-de-lumieres-et-de-materiaux.html", "published_at": "2009-06-11T00:00:00+00:00" }, { "id": "01a08784-66c7-7371-bae7-8b8de7006860", "title": "SunBurn Ray Tracer - Premières images", "url": "http://www.hsyl20.fr/home/posts/2009-05-27-sunburn-ray-tracer-premieres-images.html", "published_at": "2009-05-27T00:00:00+00:00" }, { "id": "01a08784-66c7-7371-bae7-8b8de7bbddc0", "title": "Hackers", "url": "http://www.hsyl20.fr/home/posts/2008-12-02-hackers.html", "published_at": "2008-12-02T00:00:00+00:00" }, { "id": "01a08784-66c7-7371-bae7-8b8de8a57c53", "title": "Ruby-EFL tutorial", "url": "http://www.hsyl20.fr/home/posts/2007-11-02-rubyefl-tutorial.html", "published_at": "2007-11-02T00:00:00+00:00" } ] posts Claim your blog
Back to hsyl20.fr
Blog · corpus.blog/blogs/hsyl20.fr/posts

hsyl20.fr

hsyl20.fr

2024

Variant and recursion schemesoriginal ↗
12 Sept 2024
About GHC's stability in 2024original ↗
7 Aug 2024

2023

Contributions to GHC 9.8original ↗
1 Nov 2023
Contributions to GHC 9.6original ↗
1 Apr 2023

2022

Contributions to GHC 9.4original ↗
10 Aug 2022
Modularizing GHC paperoriginal ↗
3 May 2022
On the inlining of Integer and Natural operationsoriginal ↗
28 Apr 2022

2021

Contributions to GHC 9.2original ↗
28 Oct 2021
Contributions to GHC 9.0original ↗
13 Mar 2021

2019

Stack: building GHC from sourceoriginal ↗
17 Apr 2019
Fast file embedding with GHC!original ↗
15 Jan 2019

2018

An answer to "The Trouble with Typed Errors"original ↗
4 Nov 2018
Announcing Variant and EADT 2.0original ↗
28 Oct 2018
Extensible ADT (EADT)original ↗
22 May 2018
Heterogeneous collectionsoriginal ↗
21 Feb 2018
Reducing GHC's noise: hiding source and object pathsoriginal ↗
15 Jan 2018

2017

Announcing haskus-system 0.7original ↗
29 Jun 2017

2016

Control Flow in Haskell (3) - Flow with Variantoriginal ↗
12 Dec 2016
Control Flow in Haskell (2) - Variantoriginal ↗
12 Dec 2016
Control Flow in Haskell (1) - State of the artoriginal ↗
12 Dec 2016
Control Flow in Haskell (0) - Introductionoriginal ↗
12 Dec 2016
Haskell type system from the ground up (1)original ↗
4 Oct 2016
Predefined shared error sets considered harmfuloriginal ↗
5 Apr 2016
First Experiments With Dependent Types In GHCoriginal ↗
18 Mar 2016

2014

libc considered harmfuloriginal ↗
1 Apr 2014
UNIX philosophy: a praise for functional programmingoriginal ↗
14 Feb 2014

2010

Continuations avec Scalaoriginal ↗
16 Jul 2010
Encadrer des geeksoriginal ↗
19 May 2010

2009

SunBurn : DSLoriginal ↗
19 Jun 2009
SunBurn : ajouts de caméras, de lumières et de matériauxoriginal ↗
11 Jun 2009
SunBurn Ray Tracer - Premières imagesoriginal ↗
27 May 2009

2008

Hackersoriginal ↗
2 Dec 2008

2007

Ruby-EFL tutorialoriginal ↗
2 Nov 2007