Type Theory Forall: Bringing Programming Languages Research outside of the academia typetheoryforall.com/
πŸ‘︎ 109
πŸ’¬︎
πŸ‘€︎ u/mttd
πŸ“…︎ Dec 24 2020
🚨︎ report
What’s the Role of Developer Experience in Programming Languages Research? blog.sigplan.org/2020/10/…
πŸ‘︎ 27
πŸ’¬︎
πŸ‘€︎ u/azhenley
πŸ“…︎ Oct 27 2020
🚨︎ report
What kind of research are you doing on programming languages?

I was scrolling on Reddit, and I found a post by someone who asked what kind of research is there now on CS (excluding ML/AI).

It turns out that there's some research going on programming languages, and this is really bugging me. Which kind of research is it? Can you provide some examples with practical consequences of your work?

Thank you

EDIT: I'm a non-native English speaker, I misinterpreted the meaning of "bugging": what I meant is "intriguing"

πŸ‘︎ 30
πŸ’¬︎
πŸ‘€︎ u/f_andreuzzi
πŸ“…︎ Apr 16 2020
🚨︎ report
Research in Programming Languages tagide.com/blog/academia/…
πŸ‘︎ 3
πŸ’¬︎
πŸ‘€︎ u/cadit_in_piscinam
πŸ“…︎ Jul 06 2020
🚨︎ report
Bosque Programming Language - Microsoft Research microsoft.com/en-us/resea…
πŸ‘︎ 81
πŸ’¬︎
πŸ‘€︎ u/zaiste
πŸ“…︎ Apr 16 2019
🚨︎ report
Active areas of research in programming language implementation

I was looking at the abstracts of the currently ongoing POPL conference and it seems like there is hardly any work being done in compiler/programming language implementation. I realise that PLDI is probably the better conference for that sort of thing, but POPL being a broad umbrella of programming language research having such a small (almost non-existent) number of implementation papers was surprising.

What are the active areas of research in compiler/programming language implementation?

πŸ‘︎ 29
πŸ’¬︎
πŸ‘€︎ u/daredevildas
πŸ“…︎ Jan 23 2020
🚨︎ report
"Thinking the unthinkable: What we cannot think in programming", by Tomas Petricek. "In this article, I try to discover some of the hidden assumptions in the area of programming language research. What are assumptions that we never question and that determine how programming languages are designed?" tomasp.net/blog/2016/thin…
πŸ‘︎ 61
πŸ’¬︎
πŸ‘€︎ u/flexibeast
πŸ“…︎ Dec 08 2019
🚨︎ report
It's not news programming language design community is all just a bunch of assholes. I’m sorry, guys, but remember what you did to David M. Harland? The dude was doing some brave language research, and then you basically what, just disappointed him with your narrow-mindedness byrd.im/log/logos-01/
πŸ‘︎ 72
πŸ’¬︎
πŸ‘€︎ u/tucnak
πŸ“…︎ Oct 02 2019
🚨︎ report
Interesting findings from a recent research: language ability is a better predictor of math for programming nature.com/articles/s4159…
πŸ‘︎ 36
πŸ’¬︎
πŸ‘€︎ u/Motunaga
πŸ“…︎ Mar 02 2020
🚨︎ report
Project Verona: Research programming language for concurrent ownership github.com/microsoft/vero…
πŸ‘︎ 30
πŸ’¬︎
πŸ‘€︎ u/mttd
πŸ“…︎ Jan 16 2020
🚨︎ report
Project Verona: Research programming language for concurrent ownership github.com/microsoft/vero…
πŸ‘︎ 34
πŸ’¬︎
πŸ‘€︎ u/mttd
πŸ“…︎ Jan 16 2020
🚨︎ report
What graduate programs do research in functional programming(and programming language theory) in Europe(and maybe America)?

Hello r/haskell

I'm a final year undergraduate who wants to apply for PhDs this coming year. I'm in the UK but I'm looking into relocating. Currently I am only aware of the Edinburgh, Nottingham, Imperial, St Andrews and Glasgow research groups for PLT but outside of the UK I'm clueless

Do any of you know where else I should look?

Thanks for any help in advance

πŸ‘︎ 20
πŸ’¬︎
πŸ“…︎ Oct 25 2019
🚨︎ report
Research programming language with compile-time memory management github.com/doctorn/micro-…
πŸ‘︎ 2
πŸ’¬︎
πŸ‘€︎ u/qznc_bot2
πŸ“…︎ May 08 2020
🚨︎ report
Language skills are more important than math skills for learning programming, new neuroscience research shows massivesci.com/articles/p…
πŸ‘︎ 2
πŸ’¬︎
πŸ‘€︎ u/worldnewsbot
πŸ“…︎ May 13 2020
🚨︎ report
πŸŽ₯ Watch: Introduction to Huff (programming language) - Video presentation by Eric DeCourcy of the OpenZeppelin Research team - Disclaimer: Huff should on no account be used by anybody. forum.openzeppelin.com/t/…
πŸ‘︎ 14
πŸ’¬︎
πŸ‘€︎ u/abcoathup
πŸ“…︎ Mar 05 2020
🚨︎ report
The social side of science seen in the research on programming language quality hillelwayne.com/post/this…
πŸ‘︎ 2
πŸ’¬︎
πŸ‘€︎ u/qznc_bot2
πŸ“…︎ Mar 10 2020
🚨︎ report
If I want to learn and do research in programming language syntax and semantics, could I just learn the "lambda calculus" and not any other programming language?

If I want to learn and do research in programming language syntax and semantics, could I just learn the "lambda calculus" and not any other programming language? And if so, I would appreciate it if you could recommend some books.

πŸ‘︎ 2
πŸ’¬︎
πŸ‘€︎ u/askcsaccount
πŸ“…︎ Nov 14 2019
🚨︎ report
Research Shows All Our Mainstream Programming Languages Are Counter-Intuitive alumni.cs.ucr.edu/~ratana…
πŸ‘︎ 12
πŸ’¬︎
πŸ‘€︎ u/fagnerbrack
πŸ“…︎ Sep 20 2018
🚨︎ report
[xpost] Hi, I'm Jon Gjengset, a PhD student at MIT building a fast research database in the Rust programming language. I also do intermediate-level live-coding videos, and maintain several open-source Rust libraries. [/r/rust]

Happening over at /r/rust: https://www.reddit.com/r/rust/comments/c71f03/im_a_phd_student_building_a_fast_research/

πŸ‘︎ 236
πŸ’¬︎
πŸ‘€︎ u/Jonhoo
πŸ“…︎ Jun 29 2019
🚨︎ report
Impacts of research in programming language and compiler have on software engineering?

Hi, I am considering pursuing research in this area, having seen the benefits of functional languages. However, I am still not get the big picture (if there is at all). Can someone give an overview of what is the objective of the field?

Thank you very much.

πŸ‘︎ 21
πŸ’¬︎
πŸ‘€︎ u/nhgiang
πŸ“…︎ Sep 04 2018
🚨︎ report
Most useful programming language for industry/research?

Hey guys,

I'm a second year student looking to pick up a language to help me in my future career. I was wondering what kind of languages they do use in industry or research if any? I'm already decent at python and Matlab so should I keep on reinforcing (no pun intended) those skills?

πŸ‘︎ 3
πŸ’¬︎
πŸ‘€︎ u/UntalentedAsian
πŸ“…︎ Mar 23 2019
🚨︎ report
Programming as interaction: A new perspective for programming language research tomasp.net/blog/2018/prog…
πŸ‘︎ 38
πŸ’¬︎
πŸ‘€︎ u/PavanBelagatti
πŸ“…︎ Oct 09 2018
🚨︎ report
Functional Programming Languages and the Pursuit of Laziness with Dr. Simon Peyton Jones - Microsoft Research microsoft.com/en-us/resea…
πŸ‘︎ 85
πŸ’¬︎
πŸ‘€︎ u/joehillen
πŸ“…︎ Jan 11 2018
🚨︎ report
Programming languages to learn for economics student interested in economic research and data analysis.

Hey guys, I am gonna be pursuing a B.Sc Economics course at my university. I want to complement my degree by learning a useful programming language which will make me more marketable while also keeping me in a great position if I plan to study economics further. Preferably, I would want to learn languages prominent in finance, data science and useful for research.

πŸ‘︎ 17
πŸ’¬︎
πŸ‘€︎ u/libertarianhindu
πŸ“…︎ Jun 22 2018
🚨︎ report
Interested in CS PhD, what is the current research in architecture and programming languages?

I'm in my second year of a JMC (Joint Mathematics and Computer Science) degree in London. I'm interested in doing a PhD in CS or maths. The areas I'm interested in are:

CS:

  • Computer architecture
  • Compilers
  • Programming languages (specifically functional programming)

Maths:

  • Linear algebra
  • Fractals/chaos theory
  • Complex analysis

What are the current topics of research in the above areas, and where would I find out more about them? Are there any specific conferences/papers worth looking into?

πŸ‘︎ 3
πŸ’¬︎
πŸ‘€︎ u/otah007
πŸ“…︎ Feb 08 2019
🚨︎ report
Has there been any research on cross-language generic programming?

Has anyone published on cross-language generic programming? It seems like an interesting topic but I couldn't anything. Maybe I just didn't try the right search terms.

The interesting questions that would need to be addressed seem to be:

  • Can generic programming features even be mapped between major programming languages to a useful degree?
  • How might compilers exchange generic functions/function templates?
  • How might compilers exchange the type information?
  • How might compilers exchange type constructors/generic types/class templates?
πŸ‘︎ 14
πŸ’¬︎
πŸ‘€︎ u/xPfG7pdvS8
πŸ“…︎ Feb 01 2018
🚨︎ report
TIL about SuperCollider, a dynamic programming language and real-time audio synthesizer. It's used by both scientists and artists for acoustic research and to create algorithmic music en.wikipedia.org/wiki/Sup…
πŸ‘︎ 67
πŸ’¬︎
πŸ‘€︎ u/AbelBound
πŸ“…︎ Sep 07 2018
🚨︎ report
Programming Languages/Skills for ECE Research?

Hello, I am an incoming Sophomore EE looking to do research in the upcoming semester. Obviously, I have not taken many ECE courses (110, 120) but what skills (e.g. programming languages) could I work on this summer to have a better chance of getting on a research team in the Fall?

πŸ‘︎ 3
πŸ’¬︎
πŸ“…︎ Jun 18 2018
🚨︎ report
A Multi-Language Computing Environment for Literate Programming and Reproducible Research (Eric Schulte, Dan Davison, Thomas Dye, Carsten Dominik) jstatsoft.org/htaccess.ph…
πŸ‘︎ 4
πŸ’¬︎
πŸ“…︎ Jul 25 2019
🚨︎ report
[Offer] I will send Bulk Emails for you, data entry, will do research and also familiar with programming languages like Python, Java and C/C++

I can work as a Virtual Assistant. I can do a good research on market, science and engineering topics over the internet.

πŸ‘︎ 2
πŸ’¬︎
πŸ‘€︎ u/Nate_Higgers2k
πŸ“…︎ May 13 2019
🚨︎ report
Applying programming language research ideas to transform spreadsheets - Microsoft Research microsoft.com/en-us/resea…
πŸ‘︎ 33
πŸ’¬︎
πŸ‘€︎ u/add7
πŸ“…︎ Jan 19 2019
🚨︎ report
Energy efficient programming languages. (Research Paper) greenlab.di.uminho.pt/wp-…
πŸ‘︎ 26
πŸ’¬︎
πŸ‘€︎ u/Adi7991
πŸ“…︎ Sep 19 2017
🚨︎ report
Applying programming language research ideas to transform spreadsheets microsoft.com/en-us/resea…
πŸ‘︎ 5
πŸ’¬︎
πŸ‘€︎ u/contextfree
πŸ“…︎ Jan 14 2019
🚨︎ report
What's in the future/cutting edge of programming language and compiler research

I'm an undergraduate considering graduate school and I like the field, but I have no idea what's on the cutting edge. Anyone care to enlighten me?

πŸ‘︎ 90
πŸ’¬︎
πŸ‘€︎ u/poonstank
πŸ“…︎ Feb 03 2014
🚨︎ report
DashLabs team "doing far more mathematical research" to incorporate eS (a new programming language) into the platform idea initially formulated. reddit.com/r/DashLabs/com…
πŸ‘︎ 3
πŸ’¬︎
πŸ‘€︎ u/TrustThyself
πŸ“…︎ Jun 18 2019
🚨︎ report
Programming Language Survey for Research Project *Build Good Survey Karma*
πŸ‘︎ 2
πŸ’¬︎
πŸ‘€︎ u/thereal_paparazzi
πŸ“…︎ Apr 08 2019
🚨︎ report
Apple’s new programming language Swift has jumped from number 68 to number 22 in the language rankings from research and analyst firm RedMonk. wired.com/2015/01/redmonk…
πŸ‘︎ 110
πŸ’¬︎
πŸ‘€︎ u/spsheridan
πŸ“…︎ Jan 15 2015
🚨︎ report
Top Five Results of the Past 50 Years of Programming Languages Research prl.ccs.neu.edu/blog/2017…
πŸ‘︎ 36
πŸ’¬︎
πŸ‘€︎ u/gasche
πŸ“…︎ Apr 05 2017
🚨︎ report
P: A programming language designed for asynchrony, fault-tolerance and uncertainty - Microsoft Research microsoft.com/en-us/resea…
πŸ‘︎ 44
πŸ’¬︎
πŸ‘€︎ u/pdpi
πŸ“…︎ May 22 2017
🚨︎ report

Please note that this site uses cookies to personalise content and adverts, to provide social media features, and to analyse web traffic. Click here for more information.