Embed Notice

HTML Code

<blockquote style="position: relative; padding-left: 55px;"><section><a href="https://mamot.fr/users/corpsmoderne/statuses/111958781679360201">Marc (corpsmoderne@mamot.fr)'s status on Tuesday, 20-Feb-2024 01:34:14 JST</a><a href="https://mamot.fr/@corpsmoderne" title="corpsmoderne@mamot.fr"><img src="https://gnusocial.jp/avatar/181573-48-20240219163256.webp" width="48" height="48" alt="Marc" style="position: absolute; left: 0; top: 0;">Marc</a><div><a href="https://mastodon.gougere.fr/@bortzmeyer/111958737373694136" rel="in-reply-to">in reply to</a><ul><li><li><a href="https://gnusocial.jp/user/93671" title="pmevzek@framapiaf.org">Patrick Mevzek</a></li><li><a href="https://gnusocial.jp/user/138649" title="tdelmas@mamot.fr">Tom</a></li><li><a href="https://gnusocial.jp/user/150855" title="shaft@piaille.fr">John Shaft</a></li></ul></div></section><article><p><a href="https://mastodon.gougere.fr/@bortzmeyer">@bortzmeyer</a> <a href="https://mamot.fr/@tdelmas">@tdelmas</a> <a href="https://piaille.fr/@shaft">@shaft</a> <a href="https://framapiaf.org/@pmevzek">@pmevzek</a> en fait je découvre que tu peux utiliser le undefined de Haskell aussi dans le même cas d'usage du undefined de Zig... :)</p></article><footer><a rel="bookmark" href="https://gnusocial.jp/conversation/2736748#notice-5427561">In conversation</a><time datetime="2024-02-20T01:34:14+09:00" title="Tuesday, 20-Feb-2024 01:34:14 JST">about a year ago</time> <span>from <span><a href="https://mamot.fr/@corpsmoderne/111958781679360201" rel="external" title="Sent from mamot.fr via ActivityPub">mamot.fr</a></span></span><a href="https://mamot.fr/@corpsmoderne/111958781679360201">permalink</a><h4>Attachments</h4><ol><li><label><a rel="external" href="https://gnusocial.jp/attachment/2279150">ghci&gt; data Foo = Foo { name :: String, age :: Int } deriving Show
ghci&gt; let x = Foo { name = "hello", age = undefined }
ghci&gt; let y = x { age = 42 }
ghci&gt; y
Foo {name = "hello", age = 42}
ghci&gt; x
Foo {name = "hello", age = *** Exception: Prelude.undefined
CallStack (from HasCallStack):
  undefined, called at &lt;interactive&gt;:17:37 in interactive:Ghci13
ghci&gt;</a></label><br><a href="https://static.mamot.fr/media_attachments/files/111/958/777/887/101/223/original/98f1efb76469437d.png" rel="external">https://static.mamot.fr/media_attachments/files/111/958/777/887/101/223/original/98f1efb76469437d.png</a></li></ol></footer></blockquote>

Corresponding Notice

Embed this notice
Marc (corpsmoderne@mamot.fr)'s status on Tuesday, 20-Feb-2024 01:34:14 JSTMarc
in reply to
@bortzmeyer @tdelmas @shaft @pmevzek en fait je découvre que tu peux utiliser le undefined de Haskell aussi dans le même cas d'usage du undefined de Zig... :)
In conversationabout a year ago from mamot.frpermalink
Attachments
1. ghci> data Foo = Foo { name :: String, age :: Int } deriving Show ghci> let x = Foo { name = "hello", age = undefined } ghci> let y = x { age = 42 } ghci> y Foo {name = "hello", age = 42} ghci> x Foo {name = "hello", age = *** Exception: Prelude.undefined CallStack (from HasCallStack): undefined, called at <interactive>:17:37 in interactive:Ghci13 ghci>
  https://static.mamot.fr/media_attachments/files/111/958/777/887/101/223/original/98f1efb76469437d.png

Public

Embed Notice

HTML Code

Corresponding Notice