FedSearch - Federated network search engine

Xavier · @xavier

48 followers · 160 posts · Server sunny.garden

Anyone knows a paper on implementing row polymorphism for records (and variants) with type predicates? All the papers I've found are based on giving record rows a different kind, but that leads to annoying issues for me.

What I'm envisioning is, a type class `Record`, and then two types `EmptyRecord` and `RecordExtend label field tail` with rules `Record EmptyRecord` and `Record tail => Record (RecordExtend label field tail)`. Then whenever you need to enforce that something is a record (e.g. when constructing one or accessing a field) you just add a predicate on the type.

I'd love to see if anyone has attempted to formalise this idea though. The fact that I haven't found anything makes me wonder whether it might be unsound or bad.

#typetheory #rowpolymorphism #polymorphism #records #variants

Last updated 2 years ago

Original post

Felix Palmen 📯 · @zirias

36 followers · 153 posts · Server techhub.social

@jhx Probably not exactly a book ... I just use #C when I want to compile to native machine code 😎 and yep, #OOP is perfectly possible using #C -- just stay away from #polymorphism (certainly "possible" as well, but very cumbersome, and a questionable design anyways, I strongly believe in "composition over inheritance"). Should probably also have a look at #Rust some day (probably not #Go, I'm very sceptical about anything Google these days ...)

I only use C++ when I have to, which is, in my case, when I want to have some "desktop" #GUI. IMHO, #Qt is the best toolkit for that, and it uses C++. At least, it works perfectly fine without exceptions (even disabling them at compile time with -fno-exceptions), so it's not *that* bad after all 🙈

#c #oop #polymorphism #rust #go #gui #qt

Last updated 2 years ago

Original post

Jonathan Hall · @jhall

97 followers · 359 posts · Server techhub.social

Open media

🦆 The amazing power of Duck Typing in Go 🦆🦆🦆

Go handles interfaces through what's colloquially called "Duck Typing". If it walks like a duck and quacks like a duck, it must implement your interface!

Watch the full video: https://www.youtube.com/watch?v=LltEsGFOASY

#go #golang #inheritance #computerprogramming #softwaredevelopment #polymorphism

Last updated 2 years ago

Original post

CellBioNews · @cellbionews

49 followers · 1130 posts · Server scientificnetwork.de

New single-#nucleotide #polymorphism chip that can help identify #genetic markers of desirable traits in #rice.

#agriculture #biotechnology #NGS #SNP #Rice3K56

https://phys.org/news/2023-04-single-nucleotide-polymorphism-chip-genetic-markers.html

#nucleotide #polymorphism #genetic #rice #agriculture #biotechnology #ngs #snp #rice3k56

Last updated 2 years ago

Original post

Jun Bird · @junbird

167 followers · 1974 posts · Server livellosegreto.it

I've got a question for the #TypeTheory -ist out there: is a function which argument's can be one of several types, formally polymorphic in any way?

If Shape is a union of the Circle and Square types, would a function (let's say "area") working on a Shape exhibit any kind of #polymorphism? Would it be right to say that Circle and Square are subtypes of Shape, altough no inheritence is involved?

Could pattern matching be considered a form of adhoc polymorphism?

#ComputerScience #Programming

#typetheory #polymorphism #computerscience #programming

Last updated 2 years ago

Original post

Lupino · @LupinoArts

44 followers · 165 posts · Server mstdn.social

Stack Overflow - C++: Understanding Polymorphism

Is there any #Cpp programmer in my timeline? I asked a qustion over at Stackoverflow, but it was closed for being "not focused" enough, even after i completely re-edited my problem: https://stackoverflow.com/questions/75730374/c-understanding-polymorphism?

#programming #polymorphism

#polymorphism #Programming #cpp

Last updated 2 years ago

Original post

nope · @stacked_automation

124 followers · 6890 posts · Server mastodon.social

Type checking type classes
(1993) : Nipkow, Tobias Prehofer, Chris...
DOI: https://doi.org/10.1145/158511.158698
#algorithm #polymorphism #type_classes #type_checking #unification #my_bibtex

#algorithm #polymorphism #type_classes #type_checking #unification #my_bibtex

Last updated 3 years ago

Original post

Giuseppe Michieli · @GMIK69

54 followers · 969 posts · Server mstdn.science

Effect of polymorphism in Rhinolophus affinis ACE2 on entry of SARS-CoV-2 related bat coronaviruses

Effect of #polymorphism in #Rhinolophus affinis #ACE2 on #entry of #SARS-CoV-2 related #bat coronaviruses, https://journals.plos.org/plospathogens/article?id=10.1371/journal.ppat.1011116

#polymorphism #rhinolophus #ace2 #entry #sars #bat

Last updated 3 years ago

Original post

Laszlo Xalieri · @xalieri

118 followers · 285 posts · Server mastodon.art

StrangerThan™ fiction & literature outlet store - Bugmother Broodcast #0008: "Polysemblant" | StrangerThan™ fiction & literature outlet store

...
"Don’t Read This Book"
and
"Parasitoid"

... about 11,500 words all told. Available in your choice of EPUB, AZW3, MOBI, and PDF.

Visit https://l.xal.li/BMBC0008 for this issue or https://l.xal.li/BOOKSHOP to see what else you might have missed!

#EZine #EBook #DarkArts #HorrorFiction #DigitalArt #AIAssistedArt #BodyHorror #CosmicHorror #PsychologicalHorror #CultLife #Mimicry #Camouflage #Polymorphism #Metamorphosis #Neurodivergence #LiteraryHorror

#LiteraryHorror #neurodivergence #metamorphosis #polymorphism #camouflage #mimicry #cultlife #PsychologicalHorror #cosmichorror #bodyhorror #AIAssistedArt #DigitalArt #horrorfiction #darkarts #ebook #ezine

Last updated 3 years ago

Original post

Laszlo Xalieri · @xalieri

101 followers · 244 posts · Server mastodon.art

#EZine #EBook #DarkArts #HorrorFiction #DigitalArt #AIAssistedArt #BodyHorror #CosmicHorror #PsychologicalHorror #CultLife #Mimicry #Camouflage #Polymorphism #Metamorphosis #Neurodivergence #LiteraryHorror

#LiteraryHorror #neurodivergence #metamorphosis #polymorphism #camouflage #mimicry #cultlife #PsychologicalHorror #cosmichorror #bodyhorror #AIAssistedArt #DigitalArt #horrorfiction #darkarts #ebook #ezine

Last updated 3 years ago

Original post

Darren Obbard · @DarrenObbard

272 followers · 65 posts · Server ecoevo.social

Open media

Day8: Lordiphosa andalusiaca—Our first #Advent species not in #Drosophila: a distinctive #Fly with a striking colour #polymorphism (https://brill.com/view/journals/anz/17/2/article-p275_3.xml - ours is a dark one). Lordiphosa like rotting plants http://www.drosophila.jp/jdd/class/030704/03070441.pdf and some species have sex combs https://doi.org/10.1111/evo.14564 . It gives us two lessons in systematics: [1] #Drosophilid #Taxonomy doesn’t match #Phylogeny https://academic.oup.com/gbe/article/13/8/evab179/6337980 ; [2] Do not let people play word games with your (sub)genera... cf. Phloridosa & Siphlodora

#advent #drosophila #fly #polymorphism #drosophilid #taxonomy #Phylogeny

Last updated 3 years ago

Original post

Angus Davison · @snailman

160 followers · 40 posts · Server ecoevo.social

Open media

I am loving the profile shot @JEB. 😍 Paper that recently featured these snails 🐌 is here https://onlinelibrary.wiley.com/doi/full/10.1111/jeb.14060
#snails #genomics #RAD-seq #Cepaea #UoN #UoNLifeSci #Colour #Polymorphism

#snails #Genomics #RAD #cepaea #UoN #UoNLifeSci #colour #polymorphism

Last updated 3 years ago

Original post

Teddy / Domingo (🇨🇵/🇬🇧) · @TeddyTheBest

558 followers · 17604 posts · Server framapiaf.org

The Register - WASP malware stings Python developers

#WASP #Malware Uses #Steganography and #Polymorphism to Evade Detection. #Malware dubbed #WASP is using #steganography and #polymorphism to evade detection, with its malicious #Python packages designed to steal #credentials, personal information, and #cryptocurrency.
https://www.theregister.com/2022/11/16/wasp_python_malware_checkmarx/?&web_view=true

#cryptocurrency #credentials #python #polymorphism #steganography #malware #wasp

Last updated 3 years ago

Original post

Angus Davison · @snailman

110 followers · 7 posts · Server ecoevo.social

Open media

Mid-November and there are still colour polymorphic Cepaea nemoralis (grove snail) out and active in the UK; worldwide #iNaturalist records by month on right.

#UoN #BBSRC PhD student Margarethe Johansen will present an update (based on whole genome linkage map) in our quest to identify the colour and banding loci, this Thursday at #MolluscanForum #NHMLondon. Free registration, hybrid event phyman@bas.ac.uk #Cepaea #grovesnail #Evolution #Polymorphism