norm

Data specification and generation

Learning & Reference Testing & Quality

Explore on GitHub Read Hacker News discussions

3Distinct people

3Mentions

0Explicit recommenders

701GitHub stars

REPOSITORY AT A GLANCE

What to know before exploring

What it is

Data specification and generation

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

jeremyjh/dialyxir · linked in 2 of the same discussions

Mentioned in the same Hacker News threads. That is not proof they are substitutes.

This week on Hacker News

Nov 7–Nov 14 UTC · Direct repository links and separately labeled related project stories. Indexed through 11/14/2026, 1:49:46 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 month3 dated mentions

Observed mentions: 2020-01-27 20:29:49 UTC to 2021-05-13 13:25:16 UTC.

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.
Period	Start (UTC)	End (exclusive, UTC)	Mentions	Comments
Jan 2020	2020-01-01 00:00:00 UTC	2020-02-01 00:00:00 UTC	1	1
Feb 2020	2020-02-01 00:00:00 UTC	2020-03-01 00:00:00 UTC	0	0
Mar 2020	2020-03-01 00:00:00 UTC	2020-04-01 00:00:00 UTC	0	0
Apr 2020	2020-04-01 00:00:00 UTC	2020-05-01 00:00:00 UTC	1	1
May 2020	2020-05-01 00:00:00 UTC	2020-06-01 00:00:00 UTC	0	0
Jun 2020	2020-06-01 00:00:00 UTC	2020-07-01 00:00:00 UTC	0	0
Jul 2020	2020-07-01 00:00:00 UTC	2020-08-01 00:00:00 UTC	0	0
Aug 2020	2020-08-01 00:00:00 UTC	2020-09-01 00:00:00 UTC	0	0
Sep 2020	2020-09-01 00:00:00 UTC	2020-10-01 00:00:00 UTC	0	0
Oct 2020	2020-10-01 00:00:00 UTC	2020-11-01 00:00:00 UTC	0	0
Nov 2020	2020-11-01 00:00:00 UTC	2020-12-01 00:00:00 UTC	0	0
Dec 2020	2020-12-01 00:00:00 UTC	2021-01-01 00:00:00 UTC	0	0
Jan 2021	2021-01-01 00:00:00 UTC	2021-02-01 00:00:00 UTC	0	0
Feb 2021	2021-02-01 00:00:00 UTC	2021-03-01 00:00:00 UTC	0	0
Mar 2021	2021-03-01 00:00:00 UTC	2021-04-01 00:00:00 UTC	0	0
Apr 2021	2021-04-01 00:00:00 UTC	2021-05-01 00:00:00 UTC	0	0
May 2021	2021-05-01 00:00:00 UTC	2021-06-01 00:00:00 UTC	1	1

What Hacker News says

3 sources

linkdd·May 13, 2021

I generally verify types only at the boundaries of my application (or very critical modules) using norm[1]. Either you have a strict type system that does not have an "any" type (yes, I'm looking at you Typescript), or you have a flexible type system like Python/Erlang/Elixir and you do runtime type checking whenever it's needed. I'm writing more Typescript code than I would in Javascript for almost no type safety benefits (but for documentation, it's awesome). [1] - https://github.com/keathley/norm

In Erlang/OTP 24 highlights

QuinnWilton·Apr 22, 2020

> Are many of the other languages you've used strongly typed? That's the thing that gives me pause - I feel like I rely on the compiler a lot in languages where it can do a lot for me, and that I'd be really frustrated managing a large project without it. As someone who has been writing Elixir professionally for 4-ish years, and who is otherwise about as big of a proponent of static types as is possible, this is simultaneously my biggest critique of Elixir, and also a critique that has ended up being more theoretical than not. I wish that it were statically typed, but in practice that hasn't been slowing me down. Part of the reason for that is that while Elixir is dynamically typed, I've found that it's possible to pretend it is a statically typed language if you squint just right. By that, I mean making judicious use of typespecs [0], di

Read the rest

alyzer [1], Norm [2], and just generally constraining the way you write code to mirror the sorts of code that you'd write in a language that offers algebraic data-types, like Haskell. I've been meaning to put together a blog post on what I mean by this, because I often hear people talking about how unusable Dialyzer is, so I feel like my team is a rare example of a large production app that requires that Dialyzer typechecks on every build. This makes large-scale refactoring of our app almost (but not quite) as easy as it would be in Haskell. The macro system in Elixir also means that it's possible to write libraries like typeclass [3], that offer compile-time guarantees (using compile-time property tests!) that your implementations correctly implement a given interface. I think that as the language evolves, we'll be seeing a lot more examples of macros that move runtime logic into the compilation step, to offer compile-time guarantees and safety. For example, a few weeks ago, I prototyped an experimental library in a few hours that added support for compile-time OCaml style parameterized-modules. [4] Obviously, all of these techniques don't get you quite as far as proper static typing would (though the Whatsapp team is working on static types for Erlang! [5]), but the rest of the language and the ecosystem is just so well thought out, that I've been okay with that! [0] https://hexdocs.pm/elixir/typespecs.html [1] https://github.com/jeremyjh/dialyxir [2] https://github.com/keathley/norm/ [3] https://github.com/witchcrafters/type_class [4] https://github.com/QuinnWilton/daat/ [5] https://www.facebook.com/careers/jobs/229713254864749/

In Build a real-time Twitter clone with LiveView and Phoenix 1.5

s3cur3·Jan 27, 2020

Erlang's type checker Dialyzer has an Elixir wrapper called Dialyxir (https://github.com/jeremyjh/dialyxir). As someone coming from C++, Dialyzer leaves a lot to be desired—I still miss C++ type checking—but it's better than nothing. The Norm library (https://github.com/keathley/norm) is an attempt at higher-level, more expressive type checking which I think shows a lot of promise, but I've not adopted it in a real project yet.

In Elixir v1.10