Follow

ghc's {-# LANGUAGE Strict #-} does not behave like a strict language

it behaves like nothing that exists
it is a fucking conundrum

· · Web · 2 · 0 · 1

@hazel it means anything that can be made strict using ! is automatically made strict

there are lots of things in haskell that cannot be automatically made strict, and the ! prefix has a pretty limited effect anyway :blobcatgooglyshrug:

@00dani i'm aware of how this works

at the same time it behaves like nothing that exists ever

@hazel i mean i can see the motive for "none of this code needs to be lazy but i don't want to put ! everywhere"

@hierarchon yes but at the same time that doesn't magically make haskell a strict language

it should probably be called AutoBangPatterns or something

Sign in to participate in the conversation
types.pl

A Mastodon instance for users who like the study of programming languages, formal semantics, types, or linguistics.