https://www.vigyanwiki.in/index.php?action=history&feed=atom&title=Template%3AType_systems 2026-05-12T07:15:15Z Revision history for this page on the wiki MediaWiki 1.39.3 https://www.vigyanwiki.in/index.php?title=Template:Type_systems&diff=182129&oldid=prev 2023-06-11T04:47:23Z

<p>1 revision imported from <a href="https://alpha.indicwiki.in/index.php?title=Template:Type_systems" class="extiw" title="alpha:Template:Type systems">alpha:Template:Type_systems</a></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <tr class="diff-title" lang="en-GB"> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 10:17, 11 June 2023</td> </tr><tr><td colspan="2" class="diff-notice" lang="en-GB"><div class="mw-diff-empty">(No difference)</div> </td></tr></table>

Indicwiki https://www.vigyanwiki.in/index.php?title=Template:Type_systems&diff=182128&oldid=prev 2023-03-02T08:42:20Z

<p>Created page with &quot;{{sidebar | name = Type systems | title = <a href="/index.php?title=Type_system&amp;action=edit&amp;redlink=1" class="new" title="Type system (page does not exist)">Type systems</a> | style = margin-top: 0.5em; | contentstyle = text-align: left; | basestyle = background-color: rgba(51, 153, 255, 0...&quot;</p> <p><b>New page</b></p><div>{{sidebar<br /> | name = Type systems<br /> | title = [[Type system]]s<br /> | style = margin-top: 0.5em;<br /> | contentstyle = text-align: left;<br /> | basestyle = background-color: rgba(51, 153, 255, 0.15);<br /> <br /> | heading1 = General concepts<br /> | content1 =<br /> * [[Type safety]]<br /> * [[Strong and weak typing|Strong vs. weak typing]]<br /> <br /> | heading2 = Major categories<br /> | content2 =<br /> * [[Type system#Static type checking|Static]] vs. [[Type system#Dynamic type checking and runtime type information|dynamic]]<br /> * [[Manifest typing|Manifest]] vs. [[Type inference|inferred]]<br /> * [[Nominal type system|Nominal]] vs. [[Structural type system|structural]]<br /> * [[Duck typing]]<br /> <br /> | heading3 = Minor categories<br /> | content3 =<br /> * [[Abstract type|Abstract]]<br /> * [[Dependent type|Dependent]]<br /> * [[Flow-sensitive typing|Flow-sensitive]]<br /> * [[Gradual typing|Gradual]]<br /> * [[Intersection type|Intersection]]<br /> * [[Latent typing|Latent]]<br /> * [[Refinement type|Refinement]]<br /> * [[Substructural type system|Substructural]]<br /> * [[Uniqueness type|Unique]]<br /> * [[Session type|Session]]<br /> <br /> }}&lt;noinclude&gt;<br /> [[Category:Computer science sidebar templates‎]]<br /> &lt;/noinclude&gt;</div>

alpha>Indicwiki