🦞🌯 Lobster Roll

Thread

An alternative idea for a typed language living alongside/inside JavaScript (axisofeval.blogspot.com)
L 16 pts 10 comments by manuel Nov 9, 2024 javascriptplt thread

Stories related to "An alternative idea for a typed language living alongside/inside JavaScript" across the full archive.

An alternative idea for a typed language living alongside/inside JavaScript (axisofeval.blogspot.com)
L 16 pts 10 comments by manuel Nov 9, 2024 javascriptplt Web DevelopmentProgramming Languages / CS Theory thread
An alternative idea for a typed language living alongside/inside JavaScript (axisofeval.blogspot.com)
HN 4 pts 1 comments by todsacerdoti Nov 9, 2024 Web Development thread
An alternative idea for a typed language living alongside/inside JavaScript (axisofeval.blogspot.com)
HN 1 pts 0 comments by PaulHoule Nov 27, 2024 Web Development thread
Z: A tiny, strict, impure, curried, dynamically typed, partially applied language (chrisdone.com)
L 10 pts 1 comments by puffnfresh Jan 2, 2013 compsci Programming Languages / CS Theory thread
Purescript - small strongly, statically typed compile-to-JS language (functorial.com)
L 7 pts 0 comments by puffnfresh Oct 30, 2013 javascript Web Development thread
PureScript: a statically typed language which compiles to JavaScript (github.com)
L 15 pts 8 comments by wting Sep 23, 2014 javascript Web Development thread
Soft typing: An approach to type checking for dynamically typed languages (1991) (scholarship.rice.edu)
L 1 pts 0 comments by ngrilly Nov 20, 2014 compsciprogramming Programming (General)Programming Languages / CS Theory thread
Monads in Dynamically-Typed Languages (eighty-twenty.org)
L 13 pts 1 comments by BruceM Jan 26, 2015 compscilispprogramming Programming (General)Programming Languages / CS Theory thread
A Tiny Compiler For A Typed Higher Order Language (jozefg.bitbucket.org)
L 14 pts 1 comments by jozefg Mar 24, 2015 compilershaskell Systems / Low-Level / OSProgramming Languages / CS Theory thread
The Long-Term Problem With Dynamically Typed Languages (chadaustin.me)
L 37 pts 10 comments by haxor Apr 25, 2015 programming Programming (General) thread
I don't mean to post this to trigger a religious war. I think it's an interesting discussion. I'm a big Python programmer, but I also love Go. I see both sides of the discussion and I think this article does present a useful take on it.
The appeal of dynamically typed languages (gist.github.com)
L 47 pts 5 comments by kghose May 9, 2015 programming Programming (General) thread
Tracking the Flow of Ideas through the Programming Languages Literature (cs.princeton.edu)
L 7 pts 0 comments by pushcx Aug 13, 2015 compscipdfpractices Programming (General)Programming Languages / CS TheoryProductivity / Career / BusinessCulture / Philosophy / History / Reading thread
(2014) Jonathan Blow - Ideas about a new programming language for games (youtube.com)
L 18 pts 2 comments by akurilin Sep 19, 2015 gamesgoprogrammingrustvideo Systems / Low-Level / OSProgramming (General)Programming Languages / CS TheoryGaming / Retro Computing thread
When Rust Makes Sense, or The State of Typed Languages - No Fun Allowed (m50d.github.io)
L 22 pts 30 comments by asthasr Sep 28, 2015 programming Systems / Low-Level / OSProgramming (General) thread
Stephanie Weirich on From System F to Typed Assembly Language (youtube.com)
L 18 pts 4 comments by justincampbell Oct 7, 2015 compscihaskellvideo Systems / Low-Level / OSProgramming Languages / CS Theory thread
Pi-Forall: How to use and implement a dependently-typed language (youtube.com)
L 11 pts 1 comments by pushcx Dec 28, 2015 compilerscompscivideo Systems / Low-Level / OSProgramming Languages / CS Theory thread
An Open Source Wit.ai Alternative for Natural Language Processing (source.id.hn)
L 8 pts 0 comments by sorpaas Feb 15, 2016 apiprogramming AI / Machine LearningProgramming (General) thread
Emojicode: static, strongly typed programming language (emojicode.org)
L 5 pts 2 comments by fcbsd Mar 4, 2016 programming Programming (General)Programming Languages / CS Theory thread
Not sure if this needs the satire tag...
Rhine – A typed Elixir-inspired language on LLVM (github.com)
L 7 pts 2 comments by artagnon Mar 20, 2016 ccompilerscompsciprogramming Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
A programming language for living cells (phys.org)
L 9 pts 1 comments by emallson Apr 3, 2016 science Programming (General)Programming Languages / CS TheoryScience / Math / Physics thread
Link to paper is at the bottom of the story -- I can't check for paywall because I'm on my institutions network (and don't have a proxy to use / TOR set).
Little: statically typed, C-like scripting language. (little-lang.org)
L 16 pts 5 comments by wscott Apr 19, 2016 programmingrelease Programming (General) thread
L.B.Stanza: A new optionally-typed, native-compiled language from U. C. Berkeley (lbstanza.org)
L 10 pts 1 comments by zem May 17, 2016 programming Programming (General) thread
Should Your Specification Language Be Typed? (research.microsoft.com)
L 1 pts 0 comments by pushcx Nov 17, 2016 compscipdf Programming Languages / CS Theory thread
Deeply typed programming languages (typeinference.com)
L 16 pts 7 comments by calvin Jan 13, 2017 practicesprogrammingtesting Programming (General)Programming Languages / CS TheoryProductivity / Career / Business thread
The mythology of programming language ideas (tomasp.net)
L 4 pts 1 comments by calvin Mar 10, 2017 compsciculture Programming (General)Programming Languages / CS TheoryCulture / Philosophy / History / Reading thread
Curry - Statically-typed, Functional and Logic Programming Language (www-ps.informatik.uni-kiel.de)
L 6 pts 0 comments by nickpsecurity May 8, 2017 programming Programming (General)Programming Languages / CS Theory thread
Typed Assembly Language (1998) (cs.cornell.edu)
L 12 pts 6 comments by nickpsecurity May 29, 2017 compilerscompsciformalmethodsprogramming Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Applying Optimizations for Dynamically-typed Languages to Java (ssw.uni-linz.ac.at)
L 2 pts 0 comments by calvin Aug 24, 2017 compilersjavapdfperformance Systems / Low-Level / OSProgramming (General)Programming Languages / CS TheoryData / Databases / Infrastructure thread
Alternatives to Typed Holes for talking to your compiler (bitemyapp.com)
L 4 pts 0 comments by pushcx Sep 26, 2017 haskell Systems / Low-Level / OSProgramming Languages / CS Theory thread
Can you write correct software in a statically typed language? (drmaciver.com)
L 22 pts 14 comments by fcbsd Feb 11, 2018 programming Programming (General) thread