HackerReposA FIELD GUIDE TO OPEN SOURCE
ProSponsor the shelf♧ 0
← Back to top all-time
chrisdone-archive
sandbox
Haskell2018–2019
chrisdone-archive / sandbox · Archived

sandbox

Small random demonstrations of code

2Distinct people
2Mentions
0Explicit recommenders
12GitHub stars
REPOSITORY AT A GLANCE

What to know before exploring

What it is

Small random demonstrations of code

GitHub

Where it is used

No documented product use has been verified yet.

What people are saying

No recommendation phrase was found in the indexed comments.

No classified warning is attached to this page. Read the discussions before treating silence as approval.

Also in these discussions

No other repository is repeatedly linked in the same discussions.

This week on Hacker News

Nov 7–Nov 14 UTC · Direct repository links and separately labeled related project stories. Indexed through 11/14/2026, 5:04:57 PM UTC.

No direct repository links were found in the indexed HN discussions over the past seven days. Older discussions are available below.

Mentions over time

HN mentions by week2 dated mentions

Observed mentions: 2018-12-18 15:56:10 UTC to 2019-03-08 06:35:30 UTC. Weeks start Monday, UTC.

012018-12-17 00:00:00 UTC to 2018-12-24 00:00:00 UTC (exclusive): 1 mentions; 0 submissions, 1 commentsDec 172018-12-24 00:00:00 UTC to 2018-12-31 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2018-12-31 00:00:00 UTC to 2019-01-07 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2019-01-07 00:00:00 UTC to 2019-01-14 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2019-01-14 00:00:00 UTC to 2019-01-21 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2019-01-21 00:00:00 UTC to 2019-01-28 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 commentsJan 212019-01-28 00:00:00 UTC to 2019-02-04 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2019-02-04 00:00:00 UTC to 2019-02-11 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2019-02-11 00:00:00 UTC to 2019-02-18 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2019-02-18 00:00:00 UTC to 2019-02-25 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2019-02-25 00:00:00 UTC to 2019-03-04 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2019-03-04 00:00:00 UTC to 2019-03-11 00:00:00 UTC (exclusive): 1 mentions; 0 submissions, 1 commentsMar 4

Counts come from the repository’s dated source evidence. Index cutoff: 2026-11-02 08:16:59 UTC.

View mention counts and date ranges
UTC ranges include their start and exclude their end. Select a period to filter the source evidence.
PeriodStart (UTC)End (exclusive, UTC)MentionsSubmissionsComments
Dec 172018-12-17 00:00:00 UTC2018-12-24 00:00:00 UTC101
Dec 242018-12-24 00:00:00 UTC2018-12-31 00:00:00 UTC000
Dec 312018-12-31 00:00:00 UTC2019-01-07 00:00:00 UTC000
Jan 72019-01-07 00:00:00 UTC2019-01-14 00:00:00 UTC000
Jan 142019-01-14 00:00:00 UTC2019-01-21 00:00:00 UTC000
Jan 212019-01-21 00:00:00 UTC2019-01-28 00:00:00 UTC000
Jan 282019-01-28 00:00:00 UTC2019-02-04 00:00:00 UTC000
Feb 42019-02-04 00:00:00 UTC2019-02-11 00:00:00 UTC000
Feb 112019-02-11 00:00:00 UTC2019-02-18 00:00:00 UTC000
Feb 182019-02-18 00:00:00 UTC2019-02-25 00:00:00 UTC000
Feb 252019-02-25 00:00:00 UTC2019-03-04 00:00:00 UTC000
Mar 42019-03-04 00:00:00 UTC2019-03-11 00:00:00 UTC101

What Hacker News says

2 sources
Adding examples, with dependent types we can write the type-safe printf in Idris: https://github.com/chrisdone/sandbox/blob/master/dependently... Meanwhile with Liquid Haskell (refinement types), it was really easy for me to define a date data type that can only construct valid year-month-day combinations: https://github.com/chrisdone/sandbox/blob/master/liquid-hask... The `if ..` tests are all required, otherwise Liquid Haskell rejects the program. So I see value in both directions, if you extrapolate from these examples to harder problems.
In Dependent Haskell

MAKE YOURSELF AT HOME

A few shortcuts

/
Search the collection
?
Open this guide
Esc
Close dialogs and navigation

Your saved repositories and interests stay in this browser.