Lightnews — Scholar-powered news

POGtastic @pogtastic.bsky.social · 16h

I don't want either, but if I had to choose I'm taking away Jimmy's PlayStation instead of his insulin

POGtastic @pogtastic.bsky.social · 16h

Frankly (Ballpark frankly) ruining Christmas is simultaneously less harmful in the long run and somehow more visible than destroying everyone's healthcare and I'm here for it

1 5

POGtastic @pogtastic.bsky.social · 21h

Kibble-powered space heater!

1 1

POGtastic @pogtastic.bsky.social · 23h

There is TOO MUCH CALCIUM in my pancakes

POGtastic @pogtastic.bsky.social · 23h

I let my daughter crack the eggs when making the pancakes. I didn't realize she dropped HALF OF AN EGGSHELL into the mix

Mmmm crunchy pancakes

1 2

POGtastic @pogtastic.bsky.social · 1d

Speedrunning any% enlightenment by putting the cartridge onto a hot plate

4

POGtastic @pogtastic.bsky.social · 1d

OCaml if you don't mind the garbage collector, Rust if you do.

1 4

Reposted by POGtastic

Gretchen McCulloch @gretchenmcc.bsky.social · 1d

Higgledy piggledy
Timothée Chalamet
Has a name meriting
Endless design

Much like his forerunner
Benedict Cumberbatch:
Hexasyllabically,
Easy to rhyme

tweet from childish branzino @absflora:
timothée chalamet is the new benedict cumberbatch in the sense that you can say ANYTHING and we know who you mean. tiffany chevrolet. timpanogos charlemagne. symphony cabernet. jiminy castaway.

52 620 2K

POGtastic @pogtastic.bsky.social · 1d

I didn't want to burden everyone with yet another language, but I was really trying to do this in ReScript, and your approach worked just fine there too. Now to apply this example to the much more complicated thing I have in mind...

Thanks again!

$type my_record<'a> = {internal: 'a, show: 'a => string} type rec any_record = Any(my_record<'a>) : any_record let show = (Any({internal:internal, show:show})) => show(internal) let xs = [ Any({internal:"foo", show:(s) => s}), Any({internal:42, show: (n) => Int.toString(n)}) ] let s = Array.map(xs, show)->Array.join(",") Console.log(s) // produces "foo,42"$

1

POGtastic @pogtastic.bsky.social · 1d

I can hear the handshake process now

A Windows 95-era window showing the "Dialing Process" of a modem to Al Gore's Internet

1 6

POGtastic @pogtastic.bsky.social · 1d

Large men, big strong men with tears in their eyes, coming up to me and telling me "your word recall is tremendous"

2

POGtastic @pogtastic.bsky.social · 1d

mods mods we need the Rude labeler

1 6

POGtastic @pogtastic.bsky.social · 1d

Ah - finding something in the GADT section of the manual, which has some similar syntax. ocaml.org/manual/5.3/g...

OCaml - Generalized algebraic datatypes

ocaml.org

1 1

POGtastic @pogtastic.bsky.social · 1d

Oh my goodness it works. Thanks a lot!

Can you explain or provide a link to the docs that describe the `any_record` type declaration? I can see that it's recursive, but I'm not sure what the heck it's doing, and I don't see that syntax in the manual.

1 1

POGtastic @pogtastic.bsky.social · 1d

This looks extremely promising!

Testing it on a concrete type like a string, OCaml complains "This field value has type string my_record, which is less general than 'a. 'a my_record." Do I need to somehow cast the record to make it more general?

$utop # type 'a my_record = { internal: 'a; show: 'a -> string } type any_record = { my_record: 'a. 'a my_record } let show { my_record } = my_record.show my_record.internal;; type 'a my_record = { internal : 'a; show : 'a -> string; } type any_record = { my_record : 'a. 'a my_record; } val show : any_record -> string = <fun> utop # show {my_record={internal="foo"; show=Fun.id}};; Error: This field value has type string my_record which is less general than 'a. 'a my_record$

1 1